Skip to content
Snippets Groups Projects
Commit 9823c58d authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[mbedtls] update leon4 machdep

parent b2c52b33
No related branches found
No related tags found
1 merge request!63[mbedtls] update custom leon4 machdep
Pipeline #82650 passed
Stage: test
    Expand all Hide whitespace changes
    Inline Side-by-side
    mbedtls/.frama-c/machdep_leon4.yaml
    + 345
    − 647
    View file @ 9823c58d
    This diff is collapsed.
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment