[PATCH] Add FreeBSD kernel space header files

2018-08-08 Thread Sebastian Huber
Move the kernel space content of some Newlib provided header files to RTEMS and libbsd. This allows to use the Newlib provided header files with different FreeBSD baselines. Update #3472. --- cpukit/headers.am | 3 + cpukit/include/machine/_kernel_in.h |

[PATCH] Add FreeBSD kernel space header files

2018-08-08 Thread Sebastian Huber
Move the kernel space content of some Newlib provided header files to RTEMS and libbsd. This allows to use the Newlib provided header files with different FreeBSD baselines. Update #3472. --- rtemsbsd/include/machine/_kernel_if.h | 44 rtemsbsd/include/machine/_kernel_socket