​Hey Muneeswaran,


I don't know whether you're doing this intentionally or not, but you seem to be trying to build the kernel "standalone", which is basically building the seL4 microkernel by itself, instead of building it as part of a larger project. This is a fine pursuit in and of itself, but the problem is that our (current) build system does not easily support this, sorry -- but it's absolutely a valid thing to try to do. My understanding is that our new build system will support standalone kernel builds, but I don't know the ETA of its release.


I would recommend you build the kernel as part of a larger project such as seL4test (https://github.com/seL4/sel4test), and then copy the out generated kernel image if you'd like a kernel image only. Please see (https://wiki.sel4.systems/Testing​) for information on how to clone and build seL4test.



-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO