Lightweight distributed microkernel for ia32, x86-64 and ARM computers