Hi Richard,
which Linux variant are you doing this on, out of curiosity? This is typically assembled on stable Debian, so it's good to know the difference.
On another note, regarding virtualization, please focus on uvmm instead of L4Linux. L4Linux is pure paravirtualization while on today's systems we obviosly want to exploit the CPUs virtualization support capabilities which uvmm does nicely.
Best regards, Adam
On Thu Apr 11, 2024 at 14:47:55 +0000, Richard Clark wrote:
Hi!
I'm doing microkernel evaluations for a US gov't contract to find a nice shiny new replacement for the dismal little l4 microkernel they've been using and failing with... Fiasco/L4/L4linux seems to be a wonderfully full-featured software platform that easily fits the bill. Separation/Capability microkernel, fully developed user space, l4-native linux, and even a vmm that runs a sandboxed linux.
Latest build with snapshot 23.10.1 and l4linux 23.10.1 seems the amd64 l4linux is broken with issues in libelf.h, gelf.h, and elf.h. 32bit build seems to build ok.
Still trying to get something up and running. I'll try 32-bit with qemu for now. I do need 64-bit to compile and run, so I would appreciate any info on how to fix the build issues.
_______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de