Branches · Panda / seL4 · JiHu GitLab

This project is mirrored from https://github.com/seL4/seL4.git. Pull mirroring failed Jan 27, 2023.
Last successful update Jan 27, 2023.

Active branches

michaelm/AUXUPD_array

03728f59 · Merge branch 'master' into michaelm/AUXUPD_array · Jan 18, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

d90fada8 · libsel4: update `seL4_NBWait` attributes · Jan 17, 2023

Download source code

zip tar.gz tar.bz2 tar
mbrcknl/mcs-grant-via-reply-alt

aae2d80f · MCS: Remove grant right from reply cap · Jan 12, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
mbrcknl/mcs-grant-via-reply

acb0870e · MCS: Restrict reply grant rights · Jan 12, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
michaelm/remove_memzeros

00acf607 · Merge branch 'master' into michaelm/remove_memzeros · Jan 09, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more active branches

Stale branches

xu4_vmm_wip

6637be82 · odroid-xu4: Pass through all non-kernel devices · Jan 31, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
kent/gicv3 merged

0d60f6f2 · arm: Rename gic_pl390 to gic_v2 · Jul 01, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
kent/imx8

2954c0e9 · i.MX8QM 64-bit Support · Jul 01, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
alyons-aarch64-addr merged

7798b476 · aarch64: allow access to memory below physBase · Sep 13, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
cmillar/asid-map

32263d02 · trivial: increase ia32 asid_map to 2 words · Nov 05, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches