mwipcore: initial commit of files from R2013bd
mwipcore: updated for 3.8 kernel and Kbuild
xenomai/zynq: added VxWorks skin to defconfig