A new pre-patch is available. EduOS-0.1.14pre7 Includes an extended multi-tasking API. Frank. ---------------------------------------- The EduOS home page can be found at: http://studwww.rug.ac.be/~fcorneli/eduos ----------------------------------------