Checking in Kevin Osborn's xboot work
added some more files