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.
How Lego pretend as a Linux kernel
How to config GRUB2 for Lego