67 |
}; |
}; |
68 |
|
|
69 |
|
|
70 |
|
/* Enable secure mode. */ |
71 |
|
#define HURD_STARTUP_FLAG_SECURE (1 << 0) |
72 |
|
|
73 |
/* The actual startup data. A pointer to this data will be passed on |
/* The actual startup data. A pointer to this data will be passed on |
74 |
the stack to the startup code (without a return address), and to |
the stack to the startup code (without a return address), and to |
75 |
the main program (with a return address, i.e. normal calling |
the main program (with a return address, i.e. normal calling |
81 |
unsigned short version_major; |
unsigned short version_major; |
82 |
unsigned short version_minor; |
unsigned short version_minor; |
83 |
|
|
84 |
|
/* Startup flags. */ |
85 |
|
l4_word_t flags; |
86 |
|
|
87 |
/* The UTCB area of this task. */ |
/* The UTCB area of this task. */ |
88 |
l4_fpage_t utcb_area; |
l4_fpage_t utcb_area; |
89 |
|
|