On Wed, Jun 27, 2018 at 8:35 AM Nico Huber <nico.h@gmx.de> wrote:

And other than the name suggests, you can boot
any other OS*, the Linux in LinuxBoot is just a fancy boot loader.

yes, the name LinuxBoot revives an old misconception, that LinuxBoot can only boot Linux. Same problem we had with the name LinuxBIOS. Oh well ... my bad.