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.023Nov201917161312111096329Oct2823222119161413129130Sep161510984326Aug25242117116330Jul2827232115149326Jun221532129May28272220191514139417Apr157123Mar191817121094225Feb2423201817161311928Jan27211613987623Dec181716114228Nov27262319181714121176531Oct28272221201716131097329Sep2523191832125Aug201211109875331Jul30292725242322211918x86: Cast, where appropriate, to word_t type to support 32 and 64 bitUse word_t for zombie pointers to be 64-bit compatibleChange types from uint32_t->word_t to be 32/64bit agnosticChange casting from int->long to be compatible with both 32 and 64 bit compilationsRationalize standard typesbitfield: Correct assertions when using sign extended basesUse wordBits instead of constant 32x86: Comment the first printf in try_boot_sys as it occurs before printing is actually possiblex86: Use generic X86 switches where possibleMerge branch 'master' of https://github.inside.nicta.com.au/seL4/seL4 into experimentalSELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.ARM: Replace various direct use of __attribute__ with util.h abstractions.x86: Replace various direct use of __attribute__ with util.h abstractions.Add 'fastcall' abstraction to util.h.Replaced "async endpoint" with "notification" in comments and error messagesRestore code that was lost in the merge commit 24a67755d9912a2efc522426db8101a0c1b3de65x86: Remove some debugging left in from previous commitMerge branch master into experimentalMove object size definitions to arch specific headersFix definition of TCB_NAME_LENGTH to make it more correctMakefile: Echo all file removal.update VERSION file to 1.0.41.0.41.0.4Merge pull request #181 from mfernandez/f4c5d9df-d6ab-46a1-b597-0bd93d156e9dARM: Swap direct use of externally_visible for VISIBLE macro.Always have compile_assert enabledhaskell: Fix typos.trivial: move seL4_Notify to deprecated.hARM: Fix uninitialised variables.no logo without more disclaimersSELFOUR-317: rename async endpoint to notification object, and otherrefactor tcb_t to remove duplication between x86 and arm header filesMerge branch master into experimentalCorrect Makefile from commit f6ae69f0f0ccd0c42eefd2b8b012e1420843d2aeARM A15: Remove statement with no effect.Use autoconf generated header for standalone kernel buildsmerge branch master into experimentalx86: Fix printing when the ioapic is enabledlibsel4: Restrict syscall stub compilation at -O0Restore code that was lost in the merge commit 34fc2a297e890041ef26d38d1be12c27c6de8903ARM: Remove the use of implicit pseudo instructions in assembly.