tips：micro kernel是微内核，但是pico kernel翻译成微微内核有点不顺畅，在本文翻译成微内核了。 机翻的，主要是为了自用，翻都翻了所以顺便上传一下。 github原文链接 ThreadX is a high-performance real-time kernel design