Running make after cmake gives hundreds of errors of the form:
error: reinterpret_cast from integer to pointer reinterpret_cast<volatile EntryType*>(0x20215068);
These are for the uart, the timer, the interruptManager etc.
Using gcc 11.1.0 on Ubuntu 18.04.
Is there a nicer way to do this anyway?