Jianhua Gu, Mingxuan Liu, Tianhai Zhao: Enhancing campus OS community engagement through the miniOS pilot class: A nine-year journey. Future Gener. Comput. Syst. 160: 825-834 (2024)