Make minios fails on Ubuntu 20.04 error: no include path in which to search for stdint.h

[Acidguy]

"/usr/lib/gcc/x86_64-linux-gnu/9/include/stdint.h":9:26: error: no include path in which to search for stdint.h

MK /home/super/clickosdev/clickos/minios/build/clickos_x86_64.gz make[2]: Entering directory '/home/super/clickosdev/clickos/minios' CC /home/super/clickosdev/mini-os/arch/x86/ioremap.c In file included from /home/super/clickosdev/mini-os/include/types.h:52, from /home/super/clickosdev/mini-os/arch/x86/ioremap.c:24: /usr/lib/gcc/x86_64-linux-gnu/9/include/stdint.h:9:26: error: no include path in which to search for stdint.h 9 | # include_next <stdint.h> | ^ In file included from /home/super/clickosdev/mini-os/arch/x86/ioremap.c:24: /home/super/clickosdev/mini-os/include/types.h:79:9: error: unknown type name ‘intptr_t’ 79 | typedef intptr_t ptrdiff_t;

any tips on how to resolve it I am not developer I am Infra engineer