Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

Grub on the Libreboot X200

I have a LibreBoot X200 than has LibreBoot instead of a BIOS, which means that it boots straight into Grub.
Here are my e-scripts on how I updated its flash memory to a newer version of libreboot:

# (find-es "grub" "libreboot-x200-cbfs")

I don't know how to make it boot pen drives by chainloading yet.
I am especially interested in booting custom pen drives built with Debian live-build.
I sent an e-mail to the help-grub mailing list asking for help on chainloading.
Links (to messy notes):

# (find-es "grub" "mail-about-chainloader")

My /boot/grub/libreboot_grub.cfg file in /dev/sda1 contains roughly this;
note that it has (non-functional) entries that use chainloading and a hack
to boot a pen drive made with live-build without chainloading.

# See: (find-es "grub" "libreboot_grub.cfg")
#      (find-es "grub" "bootinfoscript")

menuentry 'Boot /dev/sda6 (with home on /dev/sda7)' --hotkey='m' {
  set root=(ahci0,6)
  linux /vmlinuz root=/dev/sda6 rw
  initrd /initrd.img
  boot
}

# Adapted from the isolinux/live.cfg file in the pen drive.
# See: (find-es "grub" "non-chainloader-usb")
#      (find-grubnode "GNU/Linux" "append")
menuentry 'Boot a pen drive made with live-build without chainloading' --hotkey='b' {
  set root=(usb0,gpt1)
  linux  /live/vmlinuz boot=live components quiet splash
  initrd /live/initrd.img
  boot
}

# (find-grubnode "Chain-loading")
# (find-es "grub" "grub-install-sda6")
menuentry 'Chainload /dev/sda6 (broken)'  --hotkey='c' {
  insmod chain
  insmod ext2
  insmod ntfs
  set root=(ahci0,6)
  chainloader +1
  boot
}

# (find-es "live" "live-build-chrome")
# (find-es "grub" "chainloader-usb")
menuentry 'Chainload to usb (broken)'  --hotkey='u' {
  insmod chain
  insmod ext2
  insmod ntfs
  set root=(usb0)
  chainloader +1
  boot
}