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.
0b9aa61a56ffeb163b248d07e11fc6304f9e2cfb
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
9
Mar
6
4
2
24
Feb
21
20
18
14
12
11
10
5
30
Jan
29
22
20
14
10
6
23
Dec
19
18
17
16
13
11
10
6
2
29
Nov
28
27
26
22
21
20
19
18
17
16
14
12
5
30
Oct
25
24
23
22
14
11
10
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
license ID for bib file
licenseignore: generated file
.gitignore has a license
Convert license tags to SPDX identifiers
license tagging for manual
licenseignore: don't ignore the manual
review third-party license tags
qemu-arm-virt: Fix incorrect timer frequency
bitfield_gen: explicit branch predications
fastpath: reorganize the code layout on ARM
zynq7000: fix a timer accuracy issue
Set the cross compiler prefix to the triple
qemu-arm-virt: Generate dtb based on SMP config
arm: Reserve VPPI and VGIC maintenance IRQs on SMP
arm: remote IPI call support for VIRQS
arm: Added define for VMPIDR and VMPIDR_EL2
arm-hyp: check vtimer irq state before masking
arm-hyp: change VPPIEvent irq bitfield to 10bit
arm-hyp: rename irq field of VPPIEvent to irq_w
arm-hyp: bound check irq in decodeVCPUAckVPPI
arm-hyp: thread runnable check before handleFault
arm_hyp: return error in decodeVCPUAckVPPI
arm_hyp: handle VPPI event in Arch_setMRs_fault
arm-hyp: provide MODIFIES info for DONT_TRANSLATE
arm_hyp: Move PGD definitions out of libsel4
VGICMaintenance: Update spurious check
arm: Configure traps on vcpu WFE/WFI calls
arm: Restrict cache flush operations in hyp mode
arm_hyp: Save and restore vtimer state on switches
arm: New virtual PPI event fault type
aarch64: Add missing faults to seL4_getArchFault
arm64: Added define for CNTPCT + CNTVCTL register
arm_hyp: Update ArmV8 vcpu register operations
arm_hyp: Remove some vcpu_* wrapper functions
arm_hyp: Refactor code into arch headers
Kernel-Vtx: Use clang compatible inline assembly
ARM: move handle unknown syscall into slowpath
fastpath: force inline fastpath_restore
fastpath: fix branch predications
Error if clang is used with riscv
Loading