0x0001.0000 - 0x0001.ffff (64k): unused
0x0002.0000 - 0x0002.7fff (32k): fat
0x0002.8000 - 0x0002.bfff (16k): unused
0x0002.c000 - 0x0002.ffff (16k): 32 file buffers
0x0003.0000 - 0x0003.7fff (32k): kernel
0x0003.8000 - 0x0003.ffff (32k): kernel stack