Parent Directory | Revision Log | Patch
revision 1.7 by marcus, Fri Sep 19 18:50:12 2003 UTC | revision 1.8 by marcus, Fri Sep 26 13:46:53 2003 UTC | |
---|---|---|
# | Line 208 main (int argc, char *argv[]) | Line 208 main (int argc, char *argv[]) |
208 | ||
209 | /* FIXME. Flush D-cache? */ | /* FIXME. Flush D-cache? */ |
210 | ||
211 | (*(void (*) (void)) kernel.ip) (); | start_kernel (kernel.ip); |
212 | ||
213 | /* Should not be reached. */ | /* Should not be reached. */ |
214 | shutdown (); | shutdown (); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |