Rev 518 | Rev 532 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 518 | Rev 523 | ||
---|---|---|---|
Line 55... | Line 55... | ||
55 | 55 | ||
56 | #ifdef CONFIG_TEST |
56 | #ifdef CONFIG_TEST |
57 | #include <test.h> |
57 | #include <test.h> |
58 | #endif /* CONFIG_TEST */ |
58 | #endif /* CONFIG_TEST */ |
59 | 59 | ||
- | 60 | /** Kernel initialization thread. |
|
60 | 61 | * |
|
- | 62 | * kinit takes care of higher level kernel |
|
- | 63 | * initialization (i.e. thread creation, |
|
- | 64 | * userspace initialization etc.). |
|
61 | 65 | * |
|
- | 66 | * @param arg Not used. |
|
- | 67 | */ |
|
62 | void kinit(void *arg) |
68 | void kinit(void *arg) |
63 | { |
69 | { |
64 | vm_t *m; |
70 | vm_t *m; |
65 | vm_area_t *a; |
71 | vm_area_t *a; |
66 | task_t *u; |
72 | task_t *u; |