hots/pre-built-images/arm64/bootstrap_vm-basic_rpi4.elf
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/bootstrap_vm-basic_rpi4.uimage
>
>
> > On Sun, Feb 11, 2024 at 7:59 PM Mark Millard wrote:
> >
> >
> > On Feb 11, 2024, at 05:44
rtual machine configuration
that would be then at issue.
>> 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
etto 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
> > s
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 Mic
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
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 i
