All Office Hours: ECEE 2B37

TA - Srinivas Panchapakesan, Srinivas.Panchapakesan@Colorado.EDU

Grader - Adnan Reza, Adnan.Reza@Colorado.EDU

Author - Dr. Sam Siewert, siewerts@colorado.edu

Using Workbench 3.2

[ How to build a SIMNT Kernel]

[ How to build a Downloadable Kernel Module]

[ Example Workspaces (Kernels, bootrom)]

[ How to start a simulator target ]

[ How to Build a DKM, Download, and Single Step Debug Tasks ]

[ How to use System Viewer on the Simulator ]

[ How to use Profiler on the Simulator ]

[ How to connect to Targets in Lab]

[ Amazon Link to Purchase Textbook ]

[ Wikipedia on VxWorks ]

[ VxWorks Tutorial ]

[ Wikipedia on Device Drivers ]

[ Vxworks Device Drivers ]

[ VxWorks & Tornado Background ]