source: mainline/kernel/generic/src@ cd1ecf11

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
../
adt 88cc71c0   7 years jiri Replace as_area_btree with ordered dictionary.
cap d24e987   7 years jakub Make access via capabilities revokable This commit makes it possible …
console 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.
ddi 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
debug a6e55886   7 years noreply Rename THE/the_t to CURRENT/current_t (#50) Because the word "THE" …
interrupt bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
ipc bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
lib 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
log 174156fd   7 years jakub Disambiguate doxygroup generic*
main 2e4343b   7 years zarevucky.jiri Fix comments get_current() refers to out of order local changes.
mm cd1ecf11   7 years jiri Fix guard pages: should have one guard page before, one guard page after.
preempt 174156fd   7 years jakub Disambiguate doxygroup generic*
printf 174156fd   7 years jakub Disambiguate doxygroup generic*
proc 88cc71c0   7 years jiri Replace as_area_btree with ordered dictionary.
security 174156fd   7 years jakub Disambiguate doxygroup generic*
smp 174156fd   7 years jakub Disambiguate doxygroup generic*
synch a6e55886   7 years noreply Rename THE/the_t to CURRENT/current_t (#50) Because the word "THE" …
syscall bab75df6   7 years jiri Let kernel code get printf via the standard stdio header. Clean up …
sysinfo 88cc71c0   7 years jiri Replace as_area_btree with ordered dictionary.
time 6f7071b   7 years jiri Use ordered dictionary for kernel pareas instead of B+ tree.
udebug 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.