notes on microkernels