Use GRUB2 to boot Lego¶

Last Updated: 02/02/2018

This document explains: 1) how Lego itself is written to pretend as a Linux kernel, 2) how to boot Lego kernel with GRUB2, 3) GRUB2 configurations specific to Lego.