Raspberry Pi 32 bit rt-thread not building

Why am I getting this error when trying to build the raspberry pi 32 bit rt-thread vanilla code?

scons
scons: Reading SConscript files ...
scons: done reading SConscript files.
scons: Building targets ...
scons: building associated VariantDir targets: build
CC buildapplicationsmain.o
In file included from C:Derrickrt-thread20231011_rt-thread-masterrt-thread-mastercomponentsdriversinclude/rtdevice.h:82,

             from applications\main.c:12:

C:Derrickrt-thread20231011_rt-thread-masterrt-thread-mastercomponentsdriversinclude/drivers/mmcsd_core.h:253:61: error: unknown type name 'uint8_t'; did you mean 'wint_t'?
253 | rt_int32_t read_lba(struct rt_mmcsd_card card, size_t lba, uint8_t buffer, size_t count);

  |                                                             ^~~~~~~
  |                                                             wint_t

scons: * [buildapplicationsmain.o] Error 1
scons: building terminated because of errors.

更多