Did you make such a calculation for your microkernel?