-#[WIP]
+[[!toc levels=3]]
+
##GRUB
-####Boot manually
+###Boot manually
For some setups the default GRUB script does not work. Either try updating the grub.cfg or boot manually (below).
Open commandline in GRUB
##Libreboot
+
+###General
For flashing see this [guide](https://libreboot.org/docs/install/x200_external.html) for a general idea, however each system has their own chip configuration which differs a little.
For installing an OS on Libreboot use these [guides](https://libreboot.org/docs/gnulinux/).