Add vxworks.h to handle CONFIG_SYS_VXWORKS parameters

Signed-off-by: Niklaus Giger <niklaus.giger@member.fsf.org>
1 file changed