## Memory ### ??? Base: - `0xFFFFFE0000000000`: <= 1.76 (?) - `0xFFFF800000000000`: >= 4.55 (?) Offset | Size | Description ------------:|---------:|------------ `0x9B000` | `0x1000` | Boot `0xD0340000` | `0x1000` | UART `0xD0341000` | `0x1000` | UART (devtype 0x63) ### Kernel