30 |
|
|
31 |
#define BUG_ADDRESS "<bug-hurd@gnu.org>" |
#define BUG_ADDRESS "<bug-hurd@gnu.org>" |
32 |
|
|
33 |
|
|
34 |
|
typedef __l4_rootserver_t rootserver_t; |
35 |
|
|
36 |
|
/* For the boot components, find_components() must fill in the start |
37 |
|
and end address of the ELF images in memory. The end address is |
38 |
|
one more than the last byte in the image. */ |
39 |
|
extern rootserver_t physmem; |
40 |
|
|
41 |
|
/* Find the kernel, the initial servers and the other information |
42 |
|
required for booting. */ |
43 |
|
void find_components (void); |
44 |
|
|
45 |
int main (int argc, char *argv[]); |
int main (int argc, char *argv[]); |