[wmf]

Ah, memories of the bad old days when the VxWorks license fee was less than the cost of the extra RAM necessary to run Linux.