-- AMEventsExtra.mesa

-- Andrew Birrell February 4, 1983 2:13 pm

DIRECTORY
Booting  USING[ Bootee, defaultSwitches, Switches ],
WorldVM USING[ World ];

AMEventsExtra: DEFINITIONS =

BEGIN

-- abolish after 4.0 --

Screen: SAFE PROC[world: WorldVM.World];

Boot: SAFE PROC[boot: Booting.Bootee, switches: Booting.Switches ← Booting.defaultSwitches];
-- Boot as described in "Booting" interface, but first outloading if necessary. If executing in a world-swap debugger, this procedure will return to its caller after the corresponding inload and after notifying a "booted" event to the debugger.


END.