-- RPC: Runtime system configuration
-- RPCRuntime.config
-- Andrew Birrell  October 24, 1983 4:26 pm

RPCRuntime: CONFIGURATION LINKS: CODE
IMPORTS BasicTime, Booting, CommUtilDefs, Convert, ConvertUnsafe, DriverDefs, EthernetOneFace, GVBasics, GVNames, PrincOpsUtils, Process, PupDefs, Rope, RPCPrivate, SafeStorage, UnsafeStorage, VM
EXPORTS LupineRuntime, RPC, RPCLupine, RPCWatch
CONTROL RPCPktIO, LupineRuntimeImpl =

BEGIN

DESDummy;

RPCBinding;
RPCPktIO;
RPCPktStreams;
RPCSecurity;
RPCSignals;

LupineRuntimeImpl;

END.