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)