0x0001.0000 - 0x0002.ffff: unused 0x0003.0000 - 0x0003.7fff: kernel 0x0003.8000 - 0x0003.ffff: stack 0x0004.0000 - 0x0007.ffff: unused