Sample buildfiles

First we need to make the os1 and os2 boot images. Let's look at the buildfiles.