Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
set timeout=0
set timeout=5
set default=0

# The use of mariner.media=CDROM is a workaround that our installer does not require
# but it is observed to be needed to boot on some hardware/SoCs.
Expand All @@ -7,3 +8,9 @@ menuentry "Edge Microvisor Toolkit" {
linux /isolinux/vmlinuz root=/dev/ram0 mariner.media=CDROM lockdown=integrity sysctl.kernel.unprivileged_bpf_disabled=1 console=tty0 console=ttyS0,115200n8
initrd /isolinux/initrd.img
}

menuentry "Edge Microvisor Toolkit (No Serial Console)" {
search --label CDROM --set root
linux /isolinux/vmlinuz root=/dev/ram0 mariner.media=CDROM lockdown=integrity sysctl.kernel.unprivileged_bpf_disabled=1
initrd /isolinux/initrd.img
}
Original file line number Diff line number Diff line change
@@ -1,2 +1,7 @@
#!/bin/sh

mount -t proc proc /proc
/lib/systemd/systemd
mount -t sysfs sysfs /sys
mount -t devtmpfs devtmpfs /dev

exec /lib/systemd/systemd
Loading