Re: [seL4] Does the kernel build support the gold linker?

...

...

...

...

"Stephen" == Stephen Thomas writes:

Stephen> for ARCH=ia32 and PLAT=pc99 and I fail with a linker Stephen> errror. Is there a linker script that supports the gold Stephen> linker (for linux). Cheers Thomo Not at present. We support the standard build environments on Debian and Ubuntu (and to a much lesser extent, Fedora). Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA