Select Git revision
aarch64-ver-config
alyons-aarch64-addr
aos
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
hw-test
imx8-fpu-ver
imx8-fpu-ver-v11
imx8mm
jade/msi
kent-mcleod-patch-1
kent/CONFIG_PRINTING
kent/fix-pc99-elf
kent/generic_timer
kent/gicv3
kent/gicv3-virt
kent/imx8
kent/imx8mm-evk
kent/large-binary
kent/mcs-1-remainder
kent/nitrogen6sx-uart
kent/pc99-tsc-frequency
kent/qemu-arm-virt
kent/remove-config-guard
kent/riscv-fp-clear-res
kent/x86_64-shrink-image-size
kernel-elf-gh
lsf37/350-rebase
lsf37/aarch64-error-reporting
lsf37/action-versions
lsf37/bf_more_docs
lsf37/bitfield-doc
lsf37/bitfield-origin
lsf37/boot-info-proof-fix
lsf37/boot-region-doc
lsf37/boot-region-doc2
lsf37/config-typos
lsf37/dont-translate
lsf37/getActiveIRQ
lsf37/gh-mcs-proofs
lsf37/hw-bench
lsf37/ifdef
lsf37/manual
lsf37/mcs-manual
lsf37/more-configs
lsf37/no-fast-fail
lsf37/physBase-checks
lsf37/proof-concurrency
lsf37/py2
lsf37/sel4bench-pr
lsf37/simplify-mcs-verification
lsf37/sporadic-active
lsf37/verification-tweaks
man-build
manifest-deploy
master
mbrcknl/arm-decode-mmu-inv-branch-hint
mbrcknl/bv-ci
mbrcknl/mcs-grant-via-reply
mbrcknl/mcs-grant-via-reply-alt
mbrcknl/preprocess-deploy-mcs
mbrcknl/riscv-clz-ctz-update
mbrcknl/riscv-uint8-register-t
michaelm-auxupd
michaelm/AUXUPD_array
michaelm/MinSchedContextBits
michaelm/ghost_state
michaelm/refill_ready
michaelm/remove_memzeros
michaelm/remove_tcbReply
michaelm/vcpu_switch
microkit
misra-12.1.0-changes
nomadeel/fix_printf_typo
origin/pr/195
peterc/pci-fixes
peterc/skylake
pr-proofs
preprocess-matrix
proof-test-sessions
python-improvments
qge/arm-smmu-v2
release-12.0.0
release_12.1.0
revert-1065-patch-axel-49
riscv-binary-verification
0.0.1-rt-dev
1.0.0-rt-dev
1.0.3
1.0.4
10.0.0
10.0.0-mcs
10.1.0
10.1.1
10.1.1-mcs
11.0.0
12.0.0
12.1.0
2.0.0
2.1.0
3.0.0
3.0.1
3.1.0
3.2.0
4.0.0
5.0.0
5.1.0
5.2.0
5.2.0-mcs
6.0.0
7.0.0
8.0.0
9.0.0
9.0.0-mcs
9.0.1
API-experimental-01-03--release-2014-07-29
API-experimental-01-03--release-2014-08-10
API-master-01-03--release-2014-07-29
API-master-01-03--release-2014-08-10
arm_hyp-deprecated
experimental-deprecated
mcs-tutorials
rt-deprecated
x86_64-deprecated