$Id$ Convert system calls to messages Finish up standard c library Make VMM 64Bit Finish PCI system $Log$
