Lessons learned


The positive side of using Linux as a first stage boot loader is that it greatly simplified the implementation of our second stage boot loader, since we already had high-level system calls to deal with disk and console I/O

A convenient boot loader is needed to get up to speed with development

Symbol table loading (ksyms) is important
to make the kernel debugger - DDB - useful
to get useful backtraces from panics, and thus useful bug reports