source: mainline/kernel/generic/src@ 64b7854

Name Size Rev Age Author Last Change
../
adt 5e801dc   7 years noreply Indicate and enforce constness of hash table key in certain functions …
cap 5e801dc   7 years noreply Indicate and enforce constness of hash table key in certain functions …
console 64b7854   6 years zarevucky.jiri Use uspace_addr_t instead of uspace_ptr(void)
cpu aafed15   7 years zarevucky.jiri Declare malloc() etc in standard <stdlib.h> rather than <mm/slab.h>
ddi 64b7854   6 years zarevucky.jiri Use uspace_addr_t instead of uspace_ptr(void)
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 e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
lib 42e91ae   6 years zarevucky.jiri Replace kernel's copy of str_uint64_t with a piece of strtol.c
log 64b7854   6 years zarevucky.jiri Use uspace_addr_t instead of uspace_ptr(void)
main e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
mm e39d7b8   6 years zarevucky.jiri 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 e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
security e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
smp d19b3fc   7 years jakub Remove smp_call
synch e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
syscall e39d7b8   6 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
sysinfo 64b7854   6 years zarevucky.jiri Use uspace_addr_t instead of uspace_ptr(void)
time 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
udebug 64b7854   6 years zarevucky.jiri Use uspace_addr_t instead of uspace_ptr(void)
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.