setting the groundwork for a minimal kernel