24 |
#include "wortel.h" |
#include "wortel.h" |
25 |
|
|
26 |
|
|
27 |
|
/* The program name. */ |
28 |
|
char *program_name = "wortel"; |
29 |
|
|
30 |
|
|
31 |
|
/* Return the number of memory descriptors. */ |
32 |
|
l4_word_t |
33 |
|
loader_get_num_memory_desc (void) |
34 |
|
{ |
35 |
|
return l4_num_memory_desc (); |
36 |
|
} |
37 |
|
|
38 |
|
|
39 |
|
/* Return the NRth memory descriptor. The first memory descriptor is |
40 |
|
indexed by 0. */ |
41 |
|
l4_memory_desc_t |
42 |
|
loader_get_memory_desc (l4_word_t nr) |
43 |
|
{ |
44 |
|
return l4_memory_desc (nr); |
45 |
|
} |
46 |
|
|
47 |
|
|
48 |
/* True if debug mode is enabled. */ |
/* True if debug mode is enabled. */ |
49 |
int debug; |
int debug; |
50 |
|
|
51 |
|
|
52 |
static void |
static void |
53 |
parse_args (int argc, char *argv[]) |
parse_args (int argc, char *argv[]) |
54 |
{ |
{ |
60 |
{ |
{ |
61 |
i++; |
i++; |
62 |
printf ("Usage %s [OPTION...]\n", argv[0]); |
printf ("Usage %s [OPTION...]\n", argv[0]); |
63 |
printf ("Try `" PROGRAM_NAME " --help' for more information\n"); |
printf ("Try `%s --help' for more information\n", program_name); |
64 |
shutdown (); |
shutdown (); |
65 |
} |
} |
66 |
else if (!strcmp (argv[i], "--help")) |
else if (!strcmp (argv[i], "--help")) |
103 |
else if (!strcmp (argv[i], "--version")) |
else if (!strcmp (argv[i], "--version")) |
104 |
{ |
{ |
105 |
i++; |
i++; |
106 |
printf (PROGRAM_NAME " " PACKAGE_VERSION "\n"); |
printf ("%s " PACKAGE_VERSION "\n", program_name); |
107 |
shutdown (); |
shutdown (); |
108 |
} |
} |
109 |
else if (!strcmp (argv[i], "-o") || !strcmp (argv[i], "--output")) |
else if (!strcmp (argv[i], "-o") || !strcmp (argv[i], "--output")) |
142 |
{ |
{ |
143 |
parse_args (argc, argv); |
parse_args (argc, argv); |
144 |
|
|
145 |
debug (PROGRAM_NAME " " PACKAGE_VERSION "\n"); |
debug ("%s " PACKAGE_VERSION "\n", program_name); |
146 |
|
|
147 |
while (1) |
while (1) |
148 |
l4_yield (); |
l4_yield (); |