Re: How to specify userconf kernel options on armv7

[Martin Neitzel]

> You can probably check you kernel with
>       config -x /kernel

D'oh -- "config -x /netbsd"  or some such, of course.

                                                        Martin