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.014Dec109732130Nov272523201917161312111096329Oct2823222119161413129130Sep161510984326Aug25242117116330Jul2827232115149326Jun221532129May28272220191514139417Apr157123Mar191817121094225Feb2423201817161311928Jan27211613987623Dec181716114228Nov27262319181714121176531Oct28272221201716131097329Sep2523191832125Aug201211109875331Jul30292725242322211918x86: Restore include that was lost in previous mergeMerge branch master into experimentalMerge commit 'c597c72fdf5b4f2a5a3aa9865d354196b682b704' into experimentalMerge commit 'bd7f06d2dc1f86e88544891f2e26772276248c88' into experimentalx86: Minimal changes to fix previous commit that renamed headersMove files that contain 32-bit specific code into specific 'mode'x86: Make parts of what is currently the 32-bit specific structures commonMinimal modifications to structures file to make repository build againMove structures.bf files that contain 32-bit specific code into specificx86: Add a 'mode' include directory to ia32 buildsx86: Move 32-bit specific files into 'mode' directories, and only build if IA32x86: Rename vspace_32->vspace_32paging to distinguish that this is for the legacy 32bit paging of a 32bit kernel, versus PAE paging of a 32bit kernelRearrange makefile so that exports can be set for different architectures before the sub Makefiles are included and processedGeneralize 32-bit buildsMinor fixes to printing after merging type changes from master branchMerge branch master into experimentalMerge pull request #9 in SEL4/sel4 from ~ADANIS/sel4:clz to masterarm: Use CLZL instead of CLZMerge branch master into experimentalMerge pull request #7 in SEL4/sel4 from ~ADANIS/sel4:fixes to masterMerge pull request #5 in SEL4/sel4 from ~AWONDO/sel4:master to mastertrivial: styleUpdate some printf's of loop counters that had their types changedlibsel4: use seL4_Word for object types and update the sanity script to match word_t to seL4_WordMerge branch master into experimentalMerge pull request #6 in SEL4/sel4 from ~JBEEREN/sel4:conversion to masterMerge branch master into experimentalMerge pull request #3 in SEL4/sel4 from ~RKUMAR2/sel4:libsel4 to masterconversion: fixed hardcoded spec rule for clzlconversion: fix stray unsigned int sizeconversion: standardised type of 'length' for armconversion: fixed unnecessary word_t changeconversion: uncommit auxupd changeconversion: fixed bitfield generator, clz specChange additional int->word_t due to interraction with the C parser to ease verificationunsigned int -> word_tRename uint32_t -> word_t in any relevant placesRename CTZ and CLZ functions to long variants, change parameters from uint32_t to word_t to make compatible between 32 and 64-bitx86: Reword types and variables names in handleKernelException to be 32/64-bit agnosticx86: Make ACPI MADT parsing 64-bit compatible