dragon-nx32: Fill some memory layout holes

We had 256 bytes unused for user space after we dropped the
interrupt stack stashing. And 768 bytes unused for the kernel
since there is no stashing on the kernel map.

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/platform-dragon-nx32/config.h b/Kernel/platform-dragon-nx32/config.h
index c8a5867..ddc4a1c 100644 (file)
--- a/Kernel/platform-dragon-nx32/config.h
+++ b/Kernel/platform-dragon-nx32/config.h
@@ -13,7 +13,7 @@
 
 #define CONFIG_BANK_FIXED
 #define MAX_MAPS 16
-#define MAP_SIZE 0x7C00U
+#define MAP_SIZE 0x7F00U
 #define CONFIG_BANKS   1
 /* And swapping */
 #define SWAPDEV 2049           /* DriveWire drive 1 */
@@ -52,7 +52,7 @@
    sort the banker out */
 #define PROGBASE    0x8000  /* also data base */
 #define PROGLOAD    0x8000  /* also data base */
-#define PROGTOP     0xFC00  /* Top of program */
+#define PROGTOP     0xFD00  /* Top of program */
 
 #define BOOT_TTY (512 + 1)   /* Set this to default device for stdio, stderr */
                           /* In this case, the default is the first TTY device */

diff --git a/Kernel/platform-dragon-nx32/fuzix.link b/Kernel/platform-dragon-nx32/fuzix.link
index 87356b3..ee96024 100644 (file)
--- a/Kernel/platform-dragon-nx32/fuzix.link
+++ b/Kernel/platform-dragon-nx32/fuzix.link
@@ -7,7 +7,7 @@ section .buffers
 section .discard
 section .udata load 0x7D00
 section .text2 load 0x8010
-section .bss high 0xFC00
+section .bss high 0xFF00
 section .data
 section .videodata
 section .video

diff --git a/Kernel/platform-dragon-nx32/kernel.def b/Kernel/platform-dragon-nx32/kernel.def
index 09a171b..5cfed95 100644 (file)
--- a/Kernel/platform-dragon-nx32/kernel.def
+++ b/Kernel/platform-dragon-nx32/kernel.def
@@ -3,7 +3,7 @@
 U_DATA                      equ 0x7D00       ; (this is struct u_data from kernel.h)
 U_DATA__TOTALSIZE           equ 0x200        ; 256+256 (we don't save istack)
 
-U_DATA_STASH                equ 0xFC00       ; FC00-FEFF
+U_DATA_STASH                equ 0xFD00       ; FD00-FEFF
 
 VIDEO_BASE                 equ 0x0400       ; 6K for the display
 VIDEO_END                  equ 0x1C00