genode/repos/base/ports/grub2.port
Alexander Boettcher 93e26cae35 grub2: add small default font
Issue #4741
2023-02-27 08:20:46 +01:00

13 lines
329 B
Plaintext

LICENSE := GPLv3
VERSION := git
DOWNLOADS := g2fg.git
URL(g2fg) := https://github.com/alex-ab/g2fg.git
REV(g2fg) := 0d94ee016a3a4f991f502d04ef59e7d0d8e75346
DIR(g2fg) := boot
default: $(DOWNLOADS)
$(VERBOSE)tar -C boot -xJf boot/grub2.tar.xz
$(VERBOSE)unxz -kf boot/grub2-head.img.xz
$(VERBOSE)unxz -kf boot/font.pf2.xz