Introduce kernel executive

2023-03-16 23:40:38 +01:00
parent e6b64b741a
commit e0778d0a12
4 changed files with 56 additions and 0 deletions
--- a/sdk/xtdk/xtkmapi.h
+++ b/sdk/xtdk/xtkmapi.h
@@ -26,6 +26,7 @@
 #include <xtuefi.h>

 /* Low level data types headers */
+#include <extypes.h>
 #include <hltypes.h>
 #include <iotypes.h>
 #include <ketypes.h>