Sebastian Huber 6de41c5fe9 Provide kernel space header files ...

These kernel space header files must be provided for Newlib
172e2050d95b41861db858dd9bc43a3fb4a28987.

2016-11-08 10:15:28 +01:00

..

_kernel_time.h

…

_kernel_types.h

…