Microkernel for BitSafe