genode/repos/base/ports/grub2.port

LICENSE   := GPLv3
VERSION   := git
DOWNLOADS := g2fg.git

URL(g2fg) := https://github.com/alex-ab/g2fg.git
REV(g2fg) := a0c3164b6b23afb25119f2be8c3b7490c1dcb9e2
DIR(g2fg) := boot

default: $(DOWNLOADS)
	$(VERBOSE)tar -C boot -xJf boot/grub2.tar.xz
	$(VERBOSE)unxz -kf boot/grub2-head.img.xz
tool: use grub2 instead of grub1 for iso boot Fixes #2526 2017-09-20 22:56:00 +02:00			`LICENSE := GPLv3`
			`VERSION := git`
			`DOWNLOADS := g2fg.git`

			`URL(g2fg) := https://github.com/alex-ab/g2fg.git`
grub2: avoid hardcoding boot disc see alex-ab/g2fg#1 2020-06-14 20:07:15 +02:00			`REV(g2fg) := a0c3164b6b23afb25119f2be8c3b7490c1dcb9e2`
tool: use grub2 instead of grub1 for iso boot Fixes #2526 2017-09-20 22:56:00 +02:00			`DIR(g2fg) := boot`

			`default: $(DOWNLOADS)`
run: use GPT for image/disk BIOS legacy Issue #2778 The "create_grub2" script functionality is moved to the g2fg contrib sources and also the GRUB2 head image (tool/grub2-head.img). The head image is now partitioned as GPT and bootable in BIOS legacy mode. 2018-04-13 23:46:24 +02:00			`$(VERBOSE)tar -C boot -xJf boot/grub2.tar.xz`
			`$(VERBOSE)unxz -kf boot/grub2-head.img.xz`