search

seL4 / microkit

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

libmicrokit: fix to successfully link on LLD #62

Closed Ivan-Velickovic closed 5 months ago

Ivan-Velickovic commented 9 months ago

LLD does not recognise the STARTUP directive which works with the GNU linker. Given that the crt0.s entry point is already specified to be at the start of the _text section when linking with libmicrokit, all we need to do is slightly change the Makefile to also include crt0.o when linking to produce libmicrokit.a

Ivan-Velickovic commented 9 months ago

Should have an example that shows using LLVM tools to compile PD ELFs for both education reasons and as well as testing that it actually works.