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
--
Christian Helmuth
Genode Labs
https://www.genode-labs.com/ · https://genode.org/
https://floss.social/@genode · https://genodians.org/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/K3CZIW76QZNHYOABF4XAVE2OYYN3WADW/
