search

seL4 / microkit

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

ci: remove unnecessary dependency #66

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

gcc-aarch64-linux-gnu is no longer required as we use the aarch64-none-elf toolchain for compiling everything since cb849f7695a39d3e0a9e2b34f7c9e360992a8883.