https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=221550

--- Comment #1 from Kurt Lidl <[email protected]> ---
It's probably obvious, but I'll post a workaround here too -
since the edgerouter pretty much always boots the same
kernel file...

Most people setup the boot command to do something like this:

boot_freebsd=fatload usb 0 $loadaddr kernel/kernel ; bootoctlinux $loadaddr
coremask=0x3

And then they have the msdos filesystem holding the kernel mounted as
/boot:

The right thing for kern.bootfile ought to be set to
/boot/kernel/kernel, so just do the following:

echo 'kern.bootfile=/boot/kernel/kernel' >> /etc/sysctl.conf
sysctl kern.bootfile=/boot/kernel/kernel

And then 'make installkernel' will do the right thing...

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"

Reply via email to