Come l'isolamento formale a microkernel impedisce al codice telematico non affidabile di interferire con i driver PWM ad alta tensione.
Tasks cannot open IPC channels or map memory buffers to physical contactor registers without explicit, unforgeable capability tokens.