|
@@ -10,14 +10,16 @@
|
|
|
#define EXTENDED_VGA 0xfffe /* 80x50 mode */
|
|
|
#define ASK_VGA 0xfffd /* ask for it at bootup */
|
|
|
|
|
|
+#ifdef __KERNEL__
|
|
|
+
|
|
|
/* Physical address where kernel should be loaded. */
|
|
|
#define LOAD_PHYSICAL_ADDR ((CONFIG_PHYSICAL_START \
|
|
|
+ (CONFIG_PHYSICAL_ALIGN - 1)) \
|
|
|
& ~(CONFIG_PHYSICAL_ALIGN - 1))
|
|
|
|
|
|
-#if (defined CONFIG_KERNEL_BZIP2)
|
|
|
+#ifdef CONFIG_KERNEL_BZIP2
|
|
|
#define BOOT_HEAP_SIZE 0x400000
|
|
|
-#else
|
|
|
+#else /* !CONFIG_KERNEL_BZIP2 */
|
|
|
|
|
|
#ifdef CONFIG_X86_64
|
|
|
#define BOOT_HEAP_SIZE 0x7000
|
|
@@ -25,7 +27,7 @@
|
|
|
#define BOOT_HEAP_SIZE 0x4000
|
|
|
#endif
|
|
|
|
|
|
-#endif
|
|
|
+#endif /* !CONFIG_KERNEL_BZIP2 */
|
|
|
|
|
|
#ifdef CONFIG_X86_64
|
|
|
#define BOOT_STACK_SIZE 0x4000
|
|
@@ -33,4 +35,6 @@
|
|
|
#define BOOT_STACK_SIZE 0x1000
|
|
|
#endif
|
|
|
|
|
|
+#endif /* __KERNEL__ */
|
|
|
+
|
|
|
#endif /* _ASM_X86_BOOT_H */
|