On Sat, Jun 16, 2018 at 10:28:08PM +0530, Mayuresh wrote: > > Probably it's better to build kernel. But I am unclear about where to copy > the binary. See below.
In /boot/boot.ini noticed netbsd-ODROID-C1.ub But that results in: # config -x /boot/netbsd-ODROID-C1.ub config: /boot/netbsd-ODROID-C1.ub: not a binary kernel Mayuresh