Rationale: not all operating systems use function printf for printing console messages. This commits allows to define platform-specific functions.
OK
Add VxWorks reference driver, interrupt driven Mux driver.