Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
S
seL4
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to JiHu GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Panda
seL4
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
e1a36c2601f782d8ef32698f1703382ad9632677
Select Git revision
Branches
20
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
Tags
20
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
Begin with the selected commit
Created with Raphaël 2.2.0
10
Oct
8
1
26
Sep
23
19
18
17
13
11
30
Aug
28
27
26
22
20
14
13
8
7
5
31
Jul
30
29
25
19
18
12
11
10
5
3
2
1
28
Jun
27
26
24
20
19
18
17
14
31
May
29
28
22
20
17
16
15
14
8
7
6
3
1
30
Apr
26
23
18
15
12
11
8
5
3
2
27
Mar
25
22
21
20
19
18
15
14
13
12
8
7
4
26
Feb
22
21
20
19
15
14
13
8
6
5
4
1
31
Jan
29
16
15
14
8
3
20
Dec
19
18
14
13
12
11
10
7
6
5
4
3
27
Nov
13
12
8
7
SELFOUR-161: Merge Page_Remap with Page_Map
ia32, boot: Create device frames for unused RAM
kernel: attempt direct switch on set prio
x86: avoid -Waddress-of-packed-member
mcs: Don't rollback time when not rescheduling
seL4Config.cmake: Add FORCE to KernelSel4Arch
aarch64: Move tpidrro_el0 from vcpu to tcb context
KernelIRQReporting: Change reserved IRQ reporting
pc99,CMake: Move configs to x86 dir
CMake: Mark config options as advanced
CMake: Add KernelHardwareDebugAPIUnsupported
gcc.cmake: Configure ccache in toolchain file
armv8,CMake: Split generic timer, counter access
armv8: expand generic timer user-level access
CMake: Add FindseL4.cmake module
cmake: Only include cmake files for selected arch
cmake: Add SEL4_CONFIG_DEFAULT_ADVANCED variable
CMake: Invoke configuration files to build kernel
CMake: Error if toolchain file changes
CMake: Possibly set toolchain file automatically
aarch64: allow access to memory below physBase
alyons-aarch64-…
alyons-aarch64-addr
aarch64: update fpsimd_HWCapTest for ARMv8.2
setup.py: depend on 'pyyaml', not 'pyaml'
setup.py: add Python dependency on libarchive-c
Revert "setup.py: add Python dep[] on libarchive"
hifive: Real time clock operates at 1MHz
mcs: enable MCS for riscv
mcs: Boot RISC-V with scheduling control & context
mcs: RISC-V uses 39-bit addressing in stuctures.bf
trivial: spelling of the word 'canonical'
mcs: Update size constants for RISC-V
mcs: fastpath_reply_recv reply argument for RISC-V
mcs: Timeout fault and reply for RISC-V
mcs: add mcs capability variants for riscv
mcs: libsel4 for RISC-V
mcs: Select additional registers for RISC-V
mcs: Implement timer functions for RISC-V
mcs: Remove timer init and reset from RISC-V
riscv: Fix rollover when reading time in 32-bit
riscv: Relocate read time to header
Loading