Hello Pirmin,
On Sun, Feb 11, 2024 at 10:18:23 CET, Pirmin Duss wrote:
Before I start piecing something together, I'd like to ask, if someone does have a ready solution which allows to boot that image via iPXE?
I use the following run script to test pc_linux images.
build { init }
create_boot_directory
install_config { <config/> }
build_boot_image { init }
exec ln -nvfs [pwd]/pc_linux/x86_64/arch/x86/boot/bzImage [run_dir]/ exec ln -nvfs <path_to>/rootfs.cpio.gz [run_dir]/
set boot_cfg "#!ipxe kernel bzImage console=ttyS0,115200 console=tty0 root=/dev/ram ip=dhcp debug init=/bin/sh initrd=rootfs.cpio.gz initrd rootfs.cpio.gz boot "
set fd [open "[run_dir]/boot.cfg" w] puts $fd $boot_cfg close $fd
run_genode_until "init process" 10000 puts stderr "ENTER COMMANDS NOW"
interact
Hope it helps