48,53c48,53
< uint32_t last_offset; // 00: must be first field
< uint32_t version; // 04:
< uint32_t numCPUs; // 08:
< uint32_t intrClockFrequency; // 0C: Hz
< uint64_t cpuClock; // 10: MHz
< uint64_t mem_size; // 18:
---
> uint32_t last_offset; // 00: must be first field
> uint32_t version; // 04:
> uint32_t numCPUs; // 08:
> uint32_t intrClockFrequency; // 0C: Hz
> uint64_t cpuClock; // 10: MHz
> uint64_t mem_size; // 18:
56,58c56,58
< uint64_t kernStart; // 20:
< uint64_t kernEnd; // 28:
< uint64_t entryPoint; // 30:
---
> uint64_t kernStart; // 20:
> uint64_t kernEnd; // 28:
> uint64_t entryPoint; // 30:
61,65c61,65
< uint64_t diskUnit; // 38:
< uint64_t diskCount; // 40:
< uint64_t diskPAddr; // 48:
< uint64_t diskBlock; // 50:
< uint64_t diskOperation; // 58:
---
> uint64_t diskUnit; // 38:
> uint64_t diskCount; // 40:
> uint64_t diskPAddr; // 48:
> uint64_t diskBlock; // 50:
> uint64_t diskOperation; // 58:
68,69c68,69
< uint64_t outputChar; // 60: Placeholder for output
< uint64_t inputChar; // 68: Placeholder for input
---
> uint64_t outputChar; // 60: Placeholder for output
> uint64_t inputChar; // 68: Placeholder for input
72c72
< uint64_t cpuStack[64]; // 70:
---
> uint64_t cpuStack[64]; // 70: