Lessons in building an OS