Try out mirage kernel