diff options
Diffstat (limited to 'laden/laden.h')
-rw-r--r-- | laden/laden.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/laden/laden.h b/laden/laden.h index 08fda5a..276e775 100644 --- a/laden/laden.h +++ b/laden/laden.h @@ -41,6 +41,9 @@ extern char *program_name; 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 |