An minimal experimental microkernel