Multikernel: Operating system solution to generalized functional safetyYijing Song, Huasheng Dai, Jinhu Jiang and Weihua ZhangSecurity and Safety, 2 (2023) 2023007DOI: https://doi.org/10.1051/sands/2023007