Small kernel development