source: mainline/kernel/generic/src@ 9c75a99d

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
../
udebug bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
time 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
sysinfo 88cc71c0   7 years jiri Replace as_area_btree with ordered dictionary.
syscall bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
synch a6e55886   7 years noreply Rename THE/the_t to CURRENT/current_t (#50) Because the word "THE" …
smp 174156fd   7 years jakub Disambiguate doxygroup generic*
security 9c75a99d   7 years jiri Fix kernel panic when perm_revoke() syscall is invoked.
proc ac9e79d   7 years jakub Fix as_t reference counting Commit …
printf 174156fd   7 years jakub Disambiguate doxygroup generic*
preempt 174156fd   7 years jakub Disambiguate doxygroup generic*
mm 6785b88b   7 years jiri Fix indentation.
main 2e4343b   7 years zarevucky.jiri Fix comments get_current() refers to out of order local changes.
log 174156fd   7 years jakub Disambiguate doxygroup generic*
lib 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
ipc bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
interrupt bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
debug a6e55886   7 years noreply Rename THE/the_t to CURRENT/current_t (#50) Because the word "THE" …
ddi 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
cpu 2e4343b   7 years zarevucky.jiri Fix comments get_current() refers to out of order local changes.
console 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
cap d24e987   7 years jakub Make access via capabilities revokable This commit makes it possible …
adt 88cc71c0   7 years jiri Replace as_area_btree with ordered dictionary.
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.