学步园

直接在 T-kernel 里打开某一头文件 / 源文件确认，在头文件里会有对应的版本信息。

或是查询 BOOT_MESSAGE 定义（在 sysmain.h 里）：

/* Boot message */
#define BOOT_MESSAGE \
        "\n" \
         "================T-Kernel Version 1.02.04================\n" \
         "\n\0"