Dipende, in realtà il kernel alloca molta memoria ma con la macchina in idle 3/4 sono di cache per i processi e i file descriptor. Quando i processi ne fanno richiesta, la memoria gli viene assegnata dinamicamente.