1. e6ce657 vxworks.h: Fix build problem introduced by commits 29a4c24d/e9084b23 by Wolfgang Denk · Tue Dec 09 00:24:30 2008 +0100
  2. 2b37e18 Add vxworks.h to handle CONFIG_SYS_VXWORKS parameters by Niklaus Giger · Mon Nov 03 22:14:36 2008 +0100