Compiles with GCC
[akaros.git] / kern / include / stdint.h
1 /* GHETTO: To our grandchildren, we are sorry for this
2  * We do this since newlib has it's own stdint that conflicts with the kernel
3  * and roslib's types. */
4
5 #include <arch/types.h>