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
----------------------------------------