Changed the micro kernel interface