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.012Jan118545424Dec23222118171617161514109732130Nov272523201917161312111096329Oct2823222119161413129130Sep161510984326Aug25242117116330Jul2827232115149326Jun221532129May28272220191514139417Apr157123Mar191817121094225Feb2423201817161311928Jan27211613987623Dec181716114228Nov27262319181714x86: Move invalidateTLBEntry in unmapPagex86: add kpptr_to_paddrx86: Mark map_kernel_window as boot_codex86: Use an unsigned value for IO domain statex86: Do not implicitly mask virtual address when mapping framestrivial: update manual compilationMerge branch 'rt' of ssh://bitbucket:7999/sel4/sel4 into rt0.0.1-rt-dev0.0.1-rt-devtrivial: update ksCurSchedContext on handleInterruptEntry to avoid accidentally reprogramming the timer on a non-timer interruptMerge branch 'master' of ssh://bitbucket:7999/sel4/sel4 into rtMerge branch 'master' of ssh://bitbucket:7999/sel4/sel4 into rttrivial: fix Makefile change dropped by mergeMerge pull request #62 in SEL4/sel4 from ~ALYONS/sel4:update-readme to rtMerge pull request #60 in SEL4/sel4 from ~ALYONS/sel4:bugfix to rtMerge pull request #57 in SEL4/sel4 from ~ALYONS/sel4:sched-donation to rtMerge pull request #59 in SEL4/sel4 from ~ADANIS/sel4:WORD_SIZE_BITS to masterupdate README and VERSION for RT branchMerge pull request #61 in SEL4/sel4 from ~ADANIS/sel4:x86_ver to masterlibsel4: Allow WORD_SIZE_BITS to be changed in the syscall stub generatorx86: Remove underscores from symbols as they are in violation of the C standardx86: Move cpus to boot_state to avoid taking address of a local variablex86: Do not use string literals as they violate the CParserx86: Fix compile assertx86: Correct loop for verificationx86: Add user_data_t. Needed for verificationMerge pull request #24 in SEL4/sel4 from ~MFERNANDEZ/sel4:4bfffad6-8c14-469d-8790-ea2e8d556805 to masterMerge pull request #33 in SEL4/sel4 from ~MFERNANDEZ/sel4:737990ae-9ee8-4acd-8720-26da70a7602d to masterMerge pull request #32 in SEL4/sel4 from ~MFERNANDEZ/sel4:2aadcc6c-5d97-4cab-82eb-d35f8d62b9eb to masterMerge pull request #31 in SEL4/sel4 from ~MFERNANDEZ/sel4:6cba8db4-2bfe-4fdd-93da-8b22840c6227 to masterMerge pull request #18 in SEL4/sel4 from ~MFERNANDEZ/sel4:b9822ce6-bd06-46ac-bb43-010e3478ba1f to masterMerge pull request #17 in SEL4/sel4 from ~MFERNANDEZ/sel4:c7422aa2-0bab-4675-977b-709a7281c3b9 to masterSELFOUR-405: fix bug where seL4_Resume followed by seL4_SchedContext_BindTCB would not start threadSELFOUR-268: abide by verification standards, prefix fields introduced with RT kernel with scope saversSELFOUR-337: associate a scheduling context with a notification object and allow for donation between notification objects and passive threadsSELFOUR-114: make IPC buffer definition accessible to the kernelSELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser manglingMerge pull request #50 in SEL4/sel4 from ~ALYONS/sel4:sched-donation to rtSELFOUR-276: fix seL4_TCB_SetMaxPriority docsSELFOUR-268: change manual versionSELFOUR-275: scheduling context donation docsSELFOUR-275: scheduling context donation after review feedback