cmosgetdate() for system-call homework

the day of reckoning has come for the debug port "Shutdown" hack.

instead of mucking with ACPI or using a new hack, the student will now write
sys_date() using the cmosgetdate() helper.

1 files changed, 1 insertions, 0 deletions

diff --git a/user.h b/user.h
index 9e26cf1..f45b8d5 100644
--- a/user.h
+++ b/user.h
@@ -1,4 +1,5 @@
 struct stat;
+struct rtcdate;
 
 // system calls
 int fork(void);