README 
Nachos Stdio

Well, not much to write here. If you know Nachos, I guess
you can use this stuff, otherwise you won't have much fun

The Makefile in this package, does not build anything specific,
it is only to show, how to use the stdio.

The printf uses a stack allocated buffer and not a dynamically
allocated one, so it can be used even with Nachos versions
that don't have a Malloc syscall (yet). 


The stdarg.h and the va-mips.h were taken from the web, though
I can't really remember from where; I hope there are no license
problems with them.


