source: mainline/kernel/generic/src@ 7fa8589

Name Size Rev Age Author Last Change
../
adt 5e801dc   7 years noreply Indicate and enforce constness of hash table key in certain functions …
cap 9675296   6 years zarevucky.jiri Some clang fixes
console 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
cpu aafed15   7 years zarevucky.jiri Declare malloc() etc in standard <stdlib.h> rather than <mm/slab.h>
ddi 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
debug a6e55886   7 years noreply Rename THE/the_t to CURRENT/current_t (#50) Because the word "THE" …
interrupt 8df5f20   7 years zarevucky.jiri Rename NO_TRACE to _NO_TRACE <trace.h> may end up transitively …
ipc 7fa8589   6 years matthieu.riolo Removing unneeded casts from errno_t to errno_t
lib 9675296   6 years zarevucky.jiri Some clang fixes
log 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
main 012dd8e   6 years matthieu.riolo taskman: Handle INIT_TASKS as tasks spawned by loader - everyone is …
mm 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
preempt 174156fd   7 years jakub Disambiguate doxygroup generic*
printf 174156fd   7 years jakub Disambiguate doxygroup generic*
proc 102f641   6 years matthieu.riolo Correcting syntax according to ccheck
security 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
smp d19b3fc   7 years jakub Remove smp_call
synch 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
syscall 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
sysinfo 5a5269d   6 years noreply Change type of uspace pointers in kernel from pointer type to numeric …
time 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
udebug fa603e99   6 years zarevucky.jiri Fix unhandled error condition in udebug_name_read Detected by GCC …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.