-- Cedar Remote Debugging: configuration for WorldVM package

-- WVM.config

-- Andrew Birrell  February 6, 1983 2:56 pm

WVM: CONFIGURATION LINKS: CODE
IMPORTS BootFile, Booting, DiskChannel, File, Inline, PageMap, PilotDisk, PilotSwitches, Process, PupDefs, Rope, RTStorageOps, SpecialFile, SpecialSpace, SpecialVolume, Space, Transaction, Volume
EXPORTS WorldVM, WorldVMExtra, WVMPrivate =

BEGIN

WVMCache;
WVMImpl;
WVMMapLog;
WVMOutLd;
WVMRemote;

END.