# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1434124928 -7200
# Node ID 5a8cf6cc82df6dff3f97c6712bcc4f37db18aaa5
# Parent  82e00671c53d5f1c21fbcdd254a9122f2330e395
Added a tentative test for a started device to the MiniPC support.

diff -r 82e00671c53d -r 5a8cf6cc82df stage2/board-minipc.c
--- a/stage2/board-minipc.c	Fri Jun 12 01:38:00 2015 +0200
+++ b/stage2/board-minipc.c	Fri Jun 12 18:02:08 2015 +0200
@@ -77,3 +77,8 @@
 
         return 0;
 }
+
+int is_started(void)
+{
+	return REG_CPM_MSCR != 0;
+}
diff -r 82e00671c53d -r 5a8cf6cc82df stage2/board-minipc.h
--- a/stage2/board-minipc.h	Fri Jun 12 01:38:00 2015 +0200
+++ b/stage2/board-minipc.h	Fri Jun 12 18:02:08 2015 +0200
@@ -7,5 +7,6 @@
 void cpm_init(void);
 void rtc_init(void);
 int timer_init(void);
+int is_started(void);
 
 #endif /* __BOARD_MINIPC_H__ */