microkernel and tutorial improvements