update L4 microkernel information