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.
d0b5600db0e5869fb9a67ebe00d1d42599425eaa
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
30
Jul
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
6
30
Oct
24
12
5
2
24
Sep
20
19
18
17
14
10
4
3
31
Aug
arm,gicv3: implement ipi_send_target
arm,gicv3: update to use virtual ppi irqs
arm,gicv3: consisent sgi/ppi checks
arm,gicv3: use SPI_START
arm,gic: move gic helpers to gic_common
arm,gic: refactor constants into gic_common.h
aarch64: add missing dsb
arm: CONFIG_L1_CACHE_LINE_SIZE_BITS in cmake
gicv2: Don't translate irqInvalid into array index
trivial, gic_v2: Use CURRENT_CPU_INDEX()
arm, smp: Correctly transform irq index into ID
arm,smp: setIRQState for each core timer
CMake: Fix KernelArmPASizeBits* settings
cortex-53: enable virtualization extensions
aarch64: add support for 40-bit PA
aarch64: abstract vspace in libsel4
aarch64: abstract vspace_root in vspace code
CMake: Set KernelArmPASizeBits* based on Arm CPU
aarch64-hyp: check PA and granule sizes
trivial: properly mask vtcr macros
trivial: required style changes
[SMP] Added PPI support for gic_v2
[SMP] Abstracted IRQ indexing to handle PPIs
[SMP] New IPI call to unmask remote IRQ
[SMP/Debug] New syscall to send arbitrary SGIs
Add initial i.MX8M Mini evk 64-bit Support
imx8mq-evk: initial support for aarch32
gic_v3: Support for aarch32
trivial: fix CMake style
Only reset segments if changed (ia32)
riscv: Correct Arch_checkIRQ
aarch64: Add initial Arm FVP platform config
trivial: dts: Change the DTS for FVP
ARM boot: add MODE_RESERVED to MAX_NUM_FREEMEM_REG
exynos4, exynos5: add DTS overlay comments
exynos4, exynos5, sabrelite: clamp memory to fit in kernel window
tools: store KernelDTBSize as internal cache var
CMake: Process platform files in -C config
GICv2: map VCPU region as execute never
i.MX8QM 64-bit Support
kent/imx8
kent/imx8
Loading