[Libreboot] Fortress OS

[Thor Morris]

Does anyone have any experience with using the Fortress distribution of
Linux? I'm having problems loading on a t400. When selecting load OS from
the grub screen, I get "vmlinuz not found"