* 94704. Attention: Intel License Inquiry.
*/
-//@author Cory Sharp <cssharp@eecs.berkeley.edu>
-
-module PowerupC
+/**
+ * This module turns on Led0 when the system boots.
+ *
+ * @author Cory Sharp <cssharp@eecs.berkeley.edu>
+ */
+module PowerupC @safe()
{
uses interface Boot;
uses interface Leds;