On Thu, May 16, 2024 at 12:04:21PM GMT, Michael Chang wrote:
> On Wed, May 08, 2024 at 05:48:15PM GMT, Daniel Kiper via Grub-devel wrote:
> > Adding Marta...
> >
> > On Mon, May 06, 2024 at 03:18:45PM -0500, Glenn Washburn wrote:
> > > From: Rogier
> > >
> > > When handling a regular LVM volume,
On Wed, May 08, 2024 at 05:48:15PM GMT, Daniel Kiper via Grub-devel wrote:
> Adding Marta...
>
> On Mon, May 06, 2024 at 03:18:45PM -0500, Glenn Washburn wrote:
> > From: Rogier
> >
> > When handling a regular LVM volume, Grub can fail with the message:
> > error: disk `lvmid/**---***
> Hey. Can you describe what exactly are you trying to solve?
Sure. Sorry for the delay it was the kids holidays and I wasn't
subscribed to the mailing list.
So we are building an OS that uses the seL4 microkernel and follows the
multiboot2 specifications. The OS is fairly static and all comp