// $Id$
-/* tab:4
+/*
* "Copyright (c) 2000-2003 The Regents of the University of California.
* All rights reserved.
*
* @date January 17 2005
*/
-module RealMainP {
+module RealMainP @safe() {
provides interface Boot;
uses interface Scheduler;
uses interface Init as PlatformInit;