gnuboot/resources/grub
Denis 'GNUtoo' Carikli 969bfda3c7
Use Guix for GRUB and flashrom.
TODO:
- check clean script
- Add Guix dependency and update Guix
- Take care of updating Guix if the revision isn't found.
- cache guix paths and use that with guix gc -D in clean

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
2024-05-25 23:00:20 +02:00
..
background GRUB: Use GNU Boot logo 2023-08-22 21:16:59 +02:00
config GRUB: config from HDD/SSD: Add support for gnuboot_grub.cfg 2023-08-22 21:17:29 +02:00
keymap Turkish Q Keyboard Layout Added 2021-05-23 16:30:08 +00:00
modules.list optimize grub modules: pre-load ones that will likely be used 2021-12-30 06:50:53 +00:00