diff -r 000000000000 -r 7f656887cf89 core/builtins/reboot.cif
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/core/builtins/reboot.cif	Wed Jun 23 15:52:26 2010 +0100
@@ -0,0 +1,26 @@
+# reboot.cif
+# 
+# Copyright (c) 2010 Accenture. All rights reserved.
+# This component and the accompanying materials are made available
+# under the terms of the "Eclipse Public License v1.0"
+# which accompanies this distribution, and is available
+# at the URL "http://www.eclipse.org/legal/epl-v10.html".
+# 
+# Initial Contributors:
+# Accenture - Initial contribution
+#
+
+==name reboot
+
+==short-description
+
+Reboot the device, using Kern::Restart().
+
+==argument uint reason optional
+
+The reboot reason to use. If not specified, defaults to 0x40000000 which is KtRestartReasonSoftRestart in most baseports.
+
+==copyright
+
+Copyright (c) 2006-2010 Accenture. All rights reserved.
+