source:
mainline/kernel/generic/src/main@
9532981
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| version.c | 2.2 KB | bab75df6 | 7 years | Let kernel code get printf via the standard stdio header. Clean up … | |
| uinit.c | 2.9 KB | 5a5269d | 6 years | Change type of uspace pointers in kernel from pointer type to numeric … | |
| shutdown.c | 1.7 KB | bab75df6 | 7 years | Let kernel code get printf via the standard stdio header. Clean up … | |
| main.c | 9.7 KB | fb13b44 | 6 years | Spawned tasks' phone is connected to spawning task - Only boot time … | |
| kinit.c | 8.3 KB | 012dd8e | 6 years | taskman: Handle INIT_TASKS as tasks spawned by loader - everyone is … | |
|
Note:
See TracBrowser
for help on using the repository browser.
