 |
Systems Research Group Department of Computer Science University of Illinois at Urbana-Champaign |
 |
| ARM Cross Compiler/Debugger Toolchain for x86 hosts Uses SJLJ Exceptions, GLIBC |
GCC Version 4.0.2 (Feb 06) | GPL |
| ARM Cross Compiler for x86 hosts Uses SJLJ Exceptions, newlib |
GCC Version 4.1.0 (Feb 06) | GPL |
| Modified QEMU sources with support for ARM fault injection in Integrator
Also includes code that simulates an OMAP1610 watchdog in a memory mapped region after timer2 as timer3 |
QEMU 0.8.0 FI (Mar 07) | GPL (our changes) |
| Modified Linux sources with support for watchdog recovery Works with the modified QEMU sources available above |
Linux 2.6.16.7 + WatchdogRecovery (Jul 06) | GPL (our changes) |
|
Choices OS - Main Trunk Includes support for OMAP1610 H2 and Integrator CP (QEMU) Includes support for OMAP watchdog |
Choices (Feb 07) | University of Illinois/NCSA Open Source License |
|
Choices OS - Reliability Branch Includes support for watchdog in Integrator |
ReliableChoices (Feb 07) | University of Illinois/NCSA Open Source License |
| CuriOS | CuriOS (Sep 07) | University of Illinois/NCSA Open Source License |
| Choices Getting Started Manual | Manual | - |
| Disk image with Cramfs partition for testing Choices | Disk Image with Cramfs (Apr 07) | University of Illinois/NCSA Open Source License |
| Modified Linux sources for exploring context switch and interrupt servicing overhead on TI OMAP1610 H2 | Linux 2.6.20-rc5 + CS,INT overheads (Feb 07) | GPL (our changes) |
| QInject - Virtual Machine based Fault Injection | Archive with QEMU+ARM snapshots & scripts (Jan 08) | University of Illinois/NCSA Open Source License, QEMU is GPL |
