seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 28 forks source link

trivial: correctly check for ARM ABI #8

Closed xurtis closed 3 years ago

xurtis commented 3 years ago

Signed-off-by: Curtis Millar curtis.millar@data61.csiro.au