UEFI L4 image?

Peter Wiehe <[email protected]> Sun, 25 Nov 2018 01:08:09 +0100

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAJzXLLzM+ABo=inxnkXYcq7SomxWKKG6FfrgR_RH0AAS9Ys92Q@mail.gmail.com>

Hello,

can you give me a link to an UEFI flat PE image of L4Re? If that's not
available, then perhaps a link to instructions how to produce one
myself?

Kind regards
Peter

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.