 Versions of L4 deployed in commercial products have therefore found it necessary to add an asynchronous notification mechanism to better support asynchronous communication.This signal-like mechanism does not carry data and therefore does not require buffering by the kernel.By having two forms of IPC, they have nonetheless violated the principle of minimality.