source: mainline/kernel/generic/src@ bed67f2

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 6785b88b   7 years jiri Fix indentation.
preempt 174156fd   7 years jakub Disambiguate doxygroup generic*
printf 174156fd   7 years jakub Disambiguate doxygroup generic*
proc ac9e79d   7 years jakub Fix as_t reference counting Commit …
security 174156fd   7 years jakub Disambiguate doxygroup generic*
smp 174156fd   7 years jakub Disambiguate doxygroup generic*
synch bed67f2   7 years jakub Remove SYS_SMP_MEMORY_BARRIER syscall
syscall bed67f2   7 years jakub Remove SYS_SMP_MEMORY_BARRIER syscall
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.