极境内核 Airymax Kernel,是AirymaxOS的核心,是系统性能与稳定性的基石。基于Linux-6.6内核,使用了seL4工程思想进行了微内核化改造。Everything else is a service。