Seems to build fine on that distro.
Thanks!
Richard
From: Adam Lackorzynski
Sent: Friday, April 12, 2024 2:36 PM
To: Richard Clark ;
l4-hackers@os.inf.tu-dresden.de
Subject: Re: 23.10.1 amd64 l4linux doesn't build
[EXTERNAL]
Hi Richard,
Error seems still
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
From: Adam Lackorzynski
Sent: Thursday, April 11, 2024 1:18 PM
To: Richard Clark ;
l4-hackers@os.inf.tu-dresden.de
Subject: Re: 23.10.1 amd64 l4linux doesn't build
[EXTERNAL]
Hi Richard,
which Linux variant are you doing this on, out of curiosity? This is
typically
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.