‘Piet’ posted a link to a “Walk Through the PicoBSD Kernel“. This would be FreeBSD-based, but still relevant to DragonFly.