source: mainline/kernel/generic/src@ 5acf533

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 5acf533   6 years zarevucky.jiri Use a more concrete type in ddi syscalls
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 d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
lib 42e91ae   7 years zarevucky.jiri Replace kernel's copy of str_uint64_t with a piece of strtol.c
log d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
main e39d7b8   7 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
mm d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
preempt 174156fd   7 years jakub Disambiguate doxygroup generic*
printf 174156fd   7 years jakub Disambiguate doxygroup generic*
proc d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
security d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
smp d19b3fc   7 years jakub Remove smp_call
synch d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
syscall e39d7b8   7 years zarevucky.jiri Change type of uspace pointers in kernel from pointer type to numeric …
sysinfo d7dfa05   6 years zarevucky.jiri Make the types ccheck-safe Instead of using uspace_ptr(char), use …
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.