Parent Directory | Revision Log | Patch
revision 1.10 by marcus, Fri Sep 19 18:50:12 2003 UTC | revision 1.11 by marcus, Fri Sep 26 13:46:53 2003 UTC | |
---|---|---|
# | Line 36 help_arch (void) | Line 36 help_arch (void) |
36 | "through to the rootserver\n" | "through to the rootserver\n" |
37 | "and handled by it.\n"; | "and handled by it.\n"; |
38 | } | } |
39 | ||
40 | /* Start kernel by simply jumping to the entry point. */ | |
41 | void | |
42 | start_kernel (l4_word_t ip) | |
43 | { | |
44 | (*(void (*) (void)) ip) (); | |
45 | } | |
46 | ||
47 | ||
48 | /* Check if the bit BIT in FLAGS is set. */ | /* Check if the bit BIT in FLAGS is set. */ |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |