aedrix-kernel/include/types.h

typedef unsigned int uint32;