I will do it as soon as I get all the necessary tools to turn on the
Raspberry Pi 4b. I was thinking that L4 worked like the old project
coLinux,where Linux ran as a list of processes under WIndows. In my sick
mind I'd thought that L4 allows FreeBSD to run as a list of processes with
the L4
On Feb 11, 2024, at 12:00, Mark Millard wrote:
> [Only replying to what I've subscribed to --and I dropped
> Warner as well.]
>
> On Feb 11, 2024, at 11:43, Mario Marietto wrote:
>
>> ok. But what does this mean ? That I can use whatever Linux distro I want ?
>> Or even the FreeBSD world ?
>
[Only replying to what I've subscribed to --and I dropped
Warner as well.]
On Feb 11, 2024, at 11:43, Mario Marietto wrote:
> ok. But what does this mean ? That I can use whatever Linux distro I want ?
> Or even the FreeBSD world ?
Only to build L4Re.
The LR4e built will not contain any
ok. But what does this mean ? That I can use whatever Linux distro I want ?
Or even the FreeBSD world ?
On Sun, Feb 11, 2024 at 7:59 PM Mark Millard wrote:
>
>
> On Feb 11, 2024, at 05:44, Mario Marietto wrote:
>
> > I'm trying to understand how to use the L4 Microkernel with a FreeBSD
>
On Feb 11, 2024, at 05:44, Mario Marietto wrote:
> I'm trying to understand how to use the L4 Microkernel with a FreeBSD
> userland. I've asked the same to a L4 developer,but he told me that he does
> not know FreeBSD,so I'm here to ask the same question. First of all I'm sure
> that it
Hello to everyone.
I'm trying to understand how to use the L4 Microkernel with a FreeBSD
userland. I've asked the same to a L4 developer,but he told me that he does
not know FreeBSD,so I'm here to ask the same question. First of all I'm
sure that it can be done,because it is written clearly on
