A few steps were taken to (a) get rid of some of the historic types we’ve been using and (b) better centralize - read: make arch-independent - the definition of fundamental types we use. Further work looks to be stuck though, so hopefully this effort can be revived.
Known open aspects: - whether to introduce xen/stdint.h (with implications like it then being odd to not also have e.g. xen/stddef.h), - which types beyond the C99 ones to make arch-independent (and, where necessary, instead be Kconfig-driven); examples would be paddr_t or vaddr_t.