
This directory contains the IA32 hardware model developed in 
the Robin project. See http://www.cs.ru.nl/~tews/Robin/ for further 
information.

Hendrik Tews
