Changes in kernel/generic/include/main/main.h [4b241f3:7a0359b] in mainline

File:

• kernel/generic/include/main/main.h (modified) (1 diff)

kernel/generic/include/main/main.h

@@ -32 +32 @@
 /** @file
  */
- 
+
 #ifndef KERN_MAIN_H_
 #define KERN_MAIN_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
+extern size_t hardcoded_kdata_size;
+extern size_t hardcoded_ktext_size;
+extern uintptr_t hardcoded_load_address;
 extern uintptr_t stack_safe;