summaryrefslogtreecommitdiff
path: root/kern
AgeCommit message (Expand)Author
2015-09-14turn all_psets_lock into a general lockJustus Winter
2015-09-14yyy more general locks, crashes, maybe b/c interrupt handlerJustus Winter
2015-09-14kern: new function `thread_sleep_lock'Justus Winter
2015-09-07kern: use proper memory fences when handling the mapped timeJustus Winter
2015-09-07kern: fix loop reading the time valueJustus Winter
2015-08-28Make sure the reply port's reference is released when the thread needs to be ...Flávio Cruz
2015-08-28Add a thread_no_continuation definitionFlávio Cruz
2015-08-20kern/bootstrap: tune lockingJustus Winter
2015-08-20kern: really zero-out unused simple lock info entriesJustus Winter
2015-08-17kern: keep track of the writer when debugging locksJustus Winter
2015-08-17kern: improve simple lock debuggingJustus Winter
2015-08-17kern: disable the simple lock checks while debuggingJustus Winter
2015-08-15Avoid re-defining macrosJustus Winter
2015-07-25kern: add boot-time clock, use it for time stampsHEADmasterJustus Winter
2015-07-25kern/lock: make sure the macros are only used on simple locksJustus Winter
2015-07-20kern/bootstrap: deallocate threadJustus Winter
2015-07-19kern/bootstrap: deallocate taskJustus Winter
2015-07-18kern/printf: do not serialize printf and coJustus Winter
2015-07-18kern/lock: use compiler built-in functions to get return addressJustus Winter
2015-07-18kern/bootstrap: fix lockingJustus Winter
2015-07-18kern/slab: fix lockingJustus Winter
2015-07-11kern: make sure the queue macros are only used on queuesJustus Winter
2015-07-10kern: make printf handle long long integersJustus Winter
2015-07-09kern: remove superfluous fileJustus Winter
2015-07-09kern: improve error handlingJustus Winter
2015-06-20kern: fix error handlingJustus Winter
2015-06-09kern: add function attributes to the printf-functionsJustus Winter
2015-05-29kern: fix argument handlingJustus Winter
2015-05-23kern: avoid breaking the strict-aliasing rulesJustus Winter
2015-05-22ipc: drop size parameter from `ipc_space_create'Justus Winter
2015-05-20ipc: undo manual inlining of `ipc_entry_X' functionsJustus Winter
2015-05-20kern: add radix tree libraryJustus Winter
2015-05-20kern: gracefully handle resource shortageJustus Winter
2015-05-20kern: gracefully handle resource shortageJustus Winter
2015-05-19kern: import `macros.h' from x15Justus Winter
2015-05-02kern: fix commentJustus Winter
2015-04-24kern: avoid hardcoding the lowest priorityJustus Winter
2015-04-23kern: disable stack allocation counters by defaultJustus Winter
2015-02-25kern: inherit the name of the parent taskJustus Winter
2015-02-20kern: improve assertJustus Winter
2015-02-20kern: reduce the size of `struct thread'Justus Winter
2015-02-18kern: avoid #if 0ing out thread_collect_scanJustus Winter
2015-01-02kern: Fix typos in comments (found by codespell)Stefan Weil
2014-12-16kern: gracefully handle bogus sample pc sequence numberJustus Winter
2014-12-09kern: provide notifications about new tasksJustus Winter
2014-12-07Fix pthread_create warning on translator terminationSamuel Thibault
2014-12-01kern: disable all counters by defaultJustus Winter
2014-09-30kern: silence compiler warning about uninitialized variableJustus Winter
2014-09-30kern: fix type of recompute_prioritiesJustus Winter
2014-09-26kern: create send rights as they are inserted at bootstrap timeJustus Winter