Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/configs/baseline/grub/grub.cfg
AgeCommit message (Collapse)Author
2022-06-26configs/*/grub/grub.cfg: enable serial input and outputnl6720
Try to initialize a serial device and use it for input and output. Add more comments to grub.cfg to explain what is done. Related to #75
2022-06-23configs/*/grub/grub.cfg: auto-boot after 15 secondsnl6720
* Set the default boot entry and its timeout. * Add classes to menu entries to allow theming them. Fixes #179
2022-06-09Add useful grub menu entries to grub.cfgplainlinen
2022-05-25Add GRUB configuration files to baseline and releng profiles.Pellegrino Prevete