Re: How to specify userconf kernel options on armv7

[Mayuresh <mayuresh%acm.org@localhost>]

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