Changes in kernel/generic/include/main/main.h [7a0359b:4b241f3] 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 <typedefs.h>
+#include <arch/types.h>
 
-extern size_t hardcoded_kdata_size;
-extern size_t hardcoded_ktext_size;
-extern uintptr_t hardcoded_load_address;
 extern uintptr_t stack_safe;