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
Adam,
Thank you for the response!
I'm building on a fresh install of linux mint cinnamon.
That should be irrelevant as the build should be using its own include files,
not that of the host.
Yes, everyone and their sister has a virtual machine nowadays. These are of
limited use, however.
There
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.
Adam,
What's the recommended Debian distro to build on?
Could you point me at an iso image so I can spin up a VM, please?
Thanks!
Richard
From: Adam Lackorzynski
Sent: Thursday, April 11, 2024 3:55 PM
To: Richard Clark ;
l4-hackers@os.inf.tu-dresden.de
Hi Richard,
On Thu Apr 11, 2024 at 17:51:40 +, Richard Clark wrote:
> Adam,
>
> Thank you for the response!
>
> I'm building on a fresh install of linux mint cinnamon.
> That should be irrelevant as the build should be using its own include files,
> not that of the host.
Ah! Building