Compile kernel without standard includes

insane-adding-machines / frosted

Frosted: Free POSIX OS for tiny embedded devices

GNU General Public License v2.0

213 stars 39 forks source link

Open danielinux opened 7 years ago

danielinux commented 7 years ago

By removing dependency from stdinc/stdlib, we ensure that the kernel does not depend on any external component to build.

Steps:

[x] Activate CFLAG -nostdlib
[ ] Activate CFLAG -nostdinc
[ ] Provide own version of stdint.h, stddef.h
[ ] Ensure that posix includes needed for types are in frosted-headers (e.g. sys/time.h)