Microkernel und cpp geändert, Details unklar