Embedded Partitioning Real-Time Operating System Based on Microkernel. - Tanhong Chen; Huiyong Li 005; Jianwei Niu 002; Tao Ren 001; Guizhou Xu (CSE/EUC, 2019)

Brief Industry Paper: SylixOS: A Secure and Compatible RTOS with Constant Scheduling on SMP. - Yuanhai Zhang; Hui Han; Jinxing Jiao; Guizhou Xu; Gang Chen 023; Kai Huang (RTAS, 2021)