Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • aarch64-ver-config
  • alyons-aarch64-addr
  • aos
  • axel-h/ci-base
  • clang-11
  • clearMemory
  • clz
  • cmillar/asid-map
  • cmillar/save-when-disabled
  • comment
  • cparser
  • df-public
  • exynos5-ver
  • fix-llvm-12
  • fix_preprocessor
  • gcc-12-fix
  • gdb-macro
  • gh-action-manual
  • gh-concurrency
  • hw-builds
  • 13.0.0
  • 12.1.0
  • 12.0.0
  • 11.0.0
  • 10.1.1-mcs
  • 10.1.1
  • 10.1.0
  • mcs-tutorials
  • 10.0.0-mcs
  • 10.0.0
  • 9.0.1
  • 9.0.0-mcs
  • 9.0.0
  • 8.0.0
  • 7.0.0
  • 6.0.0
  • 5.2.0-mcs
  • 5.2.0
  • 5.1.0
  • 5.0.0
40 results
Created with Raphaël 2.2.022Aug20141387531Jul3029251918121110532128Jun272624201918171431May29282220171615148763130Apr262318151211853227Mar2522212019181514131287426Feb222120191514138654131Jan291615148320Dec191814131211107654327Nov131287630Oct24125224Sep20191817mcs: Introduce firstPhase flag to invocationsmcs: Set threads to inactive in cancelBadgedSendsmcs: Set thread to inactive if no reply is presentmcs: Set threads to inactive in cancelAllIPCmcs: Use rescheduleRequired in schedcontext_bindmcs: Fix setPrioritymcs: fix notification donation semanticsmcs: only donate on fault if the faulter has an SCmcs: break call chain in reply_remove_tcbmcs: fix behaviour on seL4_SchedContext_YieldTomcs: Preserve the value of scConsumed on Yieldmcs: allow only unbound SC/TCB in SetSchedParamstrivial: sync comment with codemcs: Swap TCB cap install order in ThreadControlsmp: always migrateTCB on schedcontrol_configuresmp: remove excess code in schedContext_donatesmp: remove excess remote call stall in unbindTCBsmp: remove excess code in bindTCBx86-smp: remove check on Arch_migrateTCBmcs: SchedControlConfigure: charge correct coremcs: Use cancelIPC instead of reply_clearreply_pop: do not call donate if SC is not NULLtrivial: add correct section in docsmcs: Refactor replies to solve revoke problemsmcs: check budget is sufficient in preemptionPointtk1: increase WCET us for tk1mcs: allow kernel WCET estimate to be scaledmcs: add seL4_SchedContext_YieldTomcs: timeout exceptionsmcs: install fault endpoint into tcb cnodemcs: make sure blocked threads have spare refillsmcs: only charge extra budget if it existsmcs: configurable scheduling context sizetrivial: fix error tags in sel4.xmlmcs: update manualmcs: avoid rolling back time if acted uponmcs: update refills based on specmcs: call updatetimestamp and commitTime oncemcs: verification spec for clzllmcs: associate scheduling context + ntfn