page1
vectors
User stack and general use
User program and storage
Kernel Storage
0000:0000
0000:0400
0001:0000
003F:FFFF
<==sys_mem_get_ramtop()
System RAM
Kernel DATA
0000:2000