Forked from
b35apo / stud-support
Source project has a limited visibility.
-
Pavel Pisa authoredThe actual riscv64-unknown-elf toolchain setup on the k13135 diskless does provide stdint.h header file so the uint32_t is hardcodded. Signed-off-by:Pavel Pisa <pisa@cmp.felk.cvut.cz>
Pavel Pisa authoredThe actual riscv64-unknown-elf toolchain setup on the k13135 diskless does provide stdint.h header file so the uint32_t is hardcodded. Signed-off-by: