nanoBSD Driver Build

[Thomas D. Dean]

I need to build a (for me) complicated driver for nanoBSD running on an 
Elan SC520, an i386 system.

I have nanoBSD running, just need the driver.

I mount a disk from an i386 system and can build userland applications OK.

I installed usr/share/mk.

To build the driver, I need the source tree.  How much of that do I need?

I have /usr/obj/nanobsd.TS5700/i386.i386/usr/src/sys and its subtree. 
Is this what I need?

Tom Dean