search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Use specific AArch64 toolchain when compiling seL4 #50

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

The seL4 build system is configured to find installations of compilers on the host, meaning that the aarch64-none-elf- toolchain that we use might not be used when building seL4 depending on what other toolchains are installed.

Ivan-Velickovic commented 9 months ago

Compatible tool chain selection is one of the things we should figure out in the medium term, but no issues with this in the short term.

Yes, this is just to make sure that we’re using the same toolchain for all components of Microkit as well as seL4. We can definitely change it later on if necessary.