search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 7 forks source link

Get libgcc.a and libm.a automatically #33

Closed wom-bat closed 5 months ago

wom-bat commented 5 months ago

It's error prone to work out which libgcc.a etc should be used with your GCC compiler. But you can ask the compiler for the info.