Discussion on research and lessons learned looking at DO-178 reverse engineering of the Linux Kernel and how technique could apply to Xen.