f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
679 stars 145 forks source link

[minor] Fix build scripts to work on OS X #116

Closed hugovincent closed 9 years ago

hugovincent commented 9 years ago

Not tested on Linux or other OSes but shouldn't break anything.

Tested: Host tools built with Apple Clang sucessfully on Yosemite 10.10.4. F9 built with arm-none-eabi-gcc 4.9-2015-q2-update (https://launchpad.net/gcc-arm-embedded/4.9/4.9-2015-q2-update).

jserv commented 9 years ago

Verified on GNU/Linux. Thanks for your contribution!