hurd-l4/laden ChangeLog ia32-cmain.c laden.c la...

[Marcus Brinkmann]

CVSROOT:        /cvsroot/hurd
Module name:    hurd-l4
Branch:         
Changes by:     Marcus Brinkmann <address@hidden>       03/09/26 09:46:53

Modified files:
        laden          : ChangeLog ia32-cmain.c laden.c laden.h 

Log message:
        2003-09-25  Johan Rydberg  <address@hidden>
        
        * laden.c (main): Call start_kernel to launch kernel instead
        of calling the kernel start address.
        * laden.h (start_kernel): Prototype.
        * ia32-cmain.c (start_kernel): New function.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/laden/ChangeLog.diff?tr1=1.7&tr2=1.8&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/laden/ia32-cmain.c.diff?tr1=1.10&tr2=1.11&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/laden/laden.c.diff?tr1=1.7&tr2=1.8&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/laden/laden.h.diff?tr1=1.8&tr2=1.9&r1=text&r2=text

Patches:
Index: hurd-l4/laden/ChangeLog
diff -u hurd-l4/laden/ChangeLog:1.7 hurd-l4/laden/ChangeLog:1.8
--- hurd-l4/laden/ChangeLog:1.7 Thu Sep 25 08:39:20 2003
+++ hurd-l4/laden/ChangeLog     Fri Sep 26 09:46:53 2003
@@ -1,3 +1,10 @@
+2003-09-25  Johan Rydberg  <address@hidden>
+
+        * laden.c (main): Call start_kernel to launch kernel instead
+        of calling the kernel start address.
+        * laden.h (start_kernel): Prototype.
+        * ia32-cmain.c (start_kernel): New function.
+
 2003-09-25  Marcus Brinkmann  <address@hidden>
 
        * loader.c [HAVE_CONFIG_H]: Include <config.h>.
Index: hurd-l4/laden/ia32-cmain.c
diff -u hurd-l4/laden/ia32-cmain.c:1.10 hurd-l4/laden/ia32-cmain.c:1.11
--- hurd-l4/laden/ia32-cmain.c:1.10     Fri Sep 19 14:50:12 2003
+++ hurd-l4/laden/ia32-cmain.c  Fri Sep 26 09:46:53 2003
@@ -36,6 +36,13 @@
     "through to the rootserver\n"
     "and handled by it.\n";
 }
+
+/* Start kernel by simply jumping to the entry point.  */
+void
+start_kernel (l4_word_t ip)
+{
+  (*(void (*) (void)) ip) ();
+}
 
 
 /* Check if the bit BIT in FLAGS is set.  */
Index: hurd-l4/laden/laden.c
diff -u hurd-l4/laden/laden.c:1.7 hurd-l4/laden/laden.c:1.8
--- hurd-l4/laden/laden.c:1.7   Fri Sep 19 14:50:12 2003
+++ hurd-l4/laden/laden.c       Fri Sep 26 09:46:53 2003
@@ -208,7 +208,7 @@
 
   /* FIXME.  Flush D-cache?  */
 
-  (*(void (*) (void)) kernel.ip) ();
+  start_kernel (kernel.ip);
 
   /* Should not be reached.  */
   shutdown ();
Index: hurd-l4/laden/laden.h
diff -u hurd-l4/laden/laden.h:1.8 hurd-l4/laden/laden.h:1.9
--- hurd-l4/laden/laden.h:1.8   Fri Sep 12 20:25:50 2003
+++ hurd-l4/laden/laden.h       Fri Sep 26 09:46:53 2003
@@ -41,6 +41,9 @@
    required for booting.  */
 void find_components (void);
 
+/* Start kernel.  IP is the entry point.  */
+void start_kernel (l4_word_t ip);
+
 typedef __l4_rootserver_t rootserver_t;
 
 /* For the rootserver components, find_components() must fill in the