change files

2019-10-25 18:47:35 +08:00
parent b548a03df4
commit b76a703108
181 changed files with 7927 additions and 12141 deletions
--- a/kernel/core/include/tos.h
+++ b/kernel/core/include/tos.h
@@ -28,7 +28,7 @@
 #include <port_config.h>
 #include <port.h>
 #include <tos_cpu.h>
-#include <tos_config_check.h>
+//#include <tos_config_check.h>
 #include <tos_fault.h>
 #include <tos_klib.h>
 #include <tos_list.h>