source: mainline/kernel/generic/src/main@ 2cc569a3

Name Size Rev Age Author Last Change
../
kinit.c 8.1 KB 2cc569a3   7 years matthieu.riolo Removing inclusion of halt.h Several files used to include halt.h …
main.c 9.6 KB 8df5f20   7 years zarevucky.jiri Rename NO_TRACE to _NO_TRACE <trace.h> may end up transitively …
shutdown.c 1.7 KB bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
uinit.c 2.9 KB 5a5269d   7 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
version.c 2.2 KB bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.