> Hi: is there a place where I can grab kernel examples?
There used to be some in /usr/src/sys/arch/${ARCH}/conf/, but they
were (unfortunately) removed.
You can still look in the Attic for them, though:
http://www.openbsd.org/cgi-bin/cvsweb/src/sys/arch/${ARCH}/conf/Attic
(Be sure to substitute ${ARCH} for e.g. i386.)
options(4) might also be helpful.