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