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.
4beafe9ad9141c32a4ba72acb2f7c54a1a49a467
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
5
Feb
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
29
16
15
14
8
3
20
Dec
19
18
14
13
12
11
10
7
6
trivial: Remove unused ipiBroadcast function
update non-mcs sabre clock
imx31: Add missing DTS entry for the EPIT2 timer
Fix MCS timer for KZM
Fix TX1 clock timer
Move vcpu_switch into Arch_switchToThread
aarch64: fix FAR_EL1 width in writeFAR
aarch64: fix MRS/MSR in writeELR_EL1
manual: improve discussion of Recv and Wait
manual: rework introduction of system calls
trivial: arm: Improve object method docs
aarch64: Fix seL4_ARM_PageDirectory interface doc
RISCV: Added stdout-path to hifive dts
Revert "Cache FPU enable state on all platforms"
Revert "trivial: use global machine/fpu.h (arm)"
Revert "Ensure that FPU state enables fpu on aarch32"
unify userSize type declarations
Make padding word-size independent
Name anonymous structs
riscv: Fetch faulting instructions
riscv_hyp
riscv_hyp
bitfield: Extend the code field for UserException
trivial: Change the default HE version to 0.3
trivial: sstratch -> sscratch for RISCV HE
trivial: Fix rebase error
riscv: Add RISCV HE v0.4 support
riscv: Add an option to track the RISCV HE version
riscv: SMPify the VTimer code
riscv_hyp: Read PC before setting SPRV bit
trivial: Fix merge error
riscv: Add experimental RISCV-HE support
trivial: Fix style
riscv: Add IPI support and SMPify IRQ-related code
rockpro64, bcm2837, qemu-arm-virt: specify NUM_PPI
hardware_gen: add elfloader CPUs output
Ensure that FPU state enables fpu on aarch32
trivial: use global machine/fpu.h (arm)
Cache FPU enable state on all platforms
boot: Use extra_bi_size_bits for vreg size calc
Fix calculate_extra_bi_size_bits implementation
hardware_gen: add elfloader output
Loading