Os kernel designs