https://luochenglcs.github.io/posts/Real-time-operating-system/