WrmOS kernel is based on L4 Kernel Reference Manual Version X.2.
WrmOSはL4 Kernel Reference Manual Version X.2に基づいている。