YggFilePageMgrImpls.config
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
Last edited by:
Bob Hagmann May 26, 1988 3:58:05 pm PDT
YggFilePageMgrImpls: CONFIGURATION
IMPORTS YggDIDMap, YggDummyProcess, YggDummyVM, YggFileStream, YggHostFS, RedBlackTree, VM
EXPORTS YggFilePageMgr
CONTROL YggFilePageMgrMainImpl, YggFilePageMgrLruImpl, YggFilePageMgrIOImpl =
BEGIN
YggFilePageMgrMainImpl;
YggFilePageMgrLruImpl;
YggFilePageMgrIOImpl;
END.