diff --git a/kernel/main.c b/kernel/main.c
index ab7f4ed04..99d17b863 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -26,7 +26,7 @@ FORWARD _PROTOTYPE( void announce, (void));
 /*===========================================================================*
  *				main                                         *
  *===========================================================================*/
-PUBLIC int main(int argc, char *argv[])
+PUBLIC int main(void)
 {
 /* Start the ball rolling. */
   struct boot_image *ip;	/* boot image pointer */
diff --git a/kernel/proto.h b/kernel/proto.h
index 910f9a5d8..53f254ea0 100644
--- a/kernel/proto.h
+++ b/kernel/proto.h
@@ -34,7 +34,7 @@ _PROTOTYPE( void save_fpu, (struct proc *)				);
 _PROTOTYPE( void fpu_sigcontext, (struct proc *, struct sigframe *fr, struct sigcontext *sc)	);
 
 /* main.c */
-_PROTOTYPE( void main, (void)						);
+_PROTOTYPE( int main, (void)						);
 _PROTOTYPE( void prepare_shutdown, (int how)				);
 _PROTOTYPE( __dead void minix_shutdown, (struct timer *tp)		);