[ How to build a SIMNT Kernel]

[ How to start a simulator target ]

[ How to build and download a Module to the kernel ]

[ How to create breakpoints ]

[ How to use System Viewer ]

[ How to connect to Targets in Lab]

Office Hours: ECEE 2B37

05:30 p.m. to 07:00 p.m. Tuesday / Thursday

Or by appointment: ahmad@colorado.edu

[ Frequenty Asked Questions ]

[ Hardware Checkout Status ]

[ Tips on Lab Submission ]

[ Lab 1 Tips ]

[ Lab 2 Tips ]

[ Wikipedia on VxWorks ]

[ VxWorks Tutorial ]

[ VxWorks & Tornado Info. ]

[ Wikipedia on Embedded Linux ]

[ Building Embedded Linux Systems ]

[ Embedded Linux, HW, SW & Interfacing ]

[ Wikipedia on Device Drivers ]

[ Vxworks Device Drivers ]

[ Linux Device Drivers ]