j
k
j a
j l
I tried building the kernel for ARCH=ia32 and PLAT=pc99 and I fail with a linker errror. Is there a linker script that supports the gold linker (for linux). Cheers Thomo
Attachments:
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites