Skip to content

Issues: seL4/seL4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

147 Open 256 Closed
147 Open 256 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Reduce difference between master and microkit branches
#1245 opened May 1, 2024 by nspin
1
Missing faults in manual docs Manual and other documentation
#1234 opened Mar 30, 2024 by Ivan-Velickovic
3
syscall_stub_gen_rs.py looks broken, is this used anywhere at all? invalid
#1223 opened Mar 14, 2024 by axel-h
13
aarch32: No easy way for a thread to modify its TPIDRURO register.
#1216 opened Mar 11, 2024 by kent-mcleod
5
PAR_EL1 usage (at handleVMFault) in the kernel leaks info to the vCPU
#1212 opened Mar 2, 2024 by JorgeMVP
1
Export value of MAX_IRQ
#1207 opened Feb 28, 2024 by Ivan-Velickovic
1
Generated platform descriptions (.yaml and .json) do not describe final device regions
#1197 opened Feb 14, 2024 by Ivan-Velickovic
4
arm64: silent asserts before mapping the kernel window
#1191 opened Feb 9, 2024 by andybui01
3
document cmake install target in CHANGES docs Manual and other documentation
#1189 opened Feb 7, 2024 by lsf37
2
Should we add -Wconversion to compiler flags?
#1187 opened Feb 7, 2024 by lsf37
5
physBase isn't aligned properly on ARM_HYP
#1186 opened Feb 5, 2024 by nspin
1
Should IRQHandler caps have a way to set whether Acknowledgement happens automatically? enhancement
#1185 opened Feb 2, 2024 by kent-mcleod
16
Support full 48-bit PA on AArch64 enhancement
#1175 opened Jan 29, 2024 by heshamelmatary
2
seL4 doesn't boot with GICv3 on QEMU
#1170 opened Jan 26, 2024 by heshamelmatary
3
SMP with clang hangs on hifive in release config
#1160 opened Jan 14, 2024 by lsf37
2
Adding baseline Morello support
#1158 opened Jan 9, 2024 by heshamelmatary
9 of 33 tasks
1
x86 VM + SMP Issue
#1148 opened Dec 8, 2023 by chrisguikema
@kent-mcleod @lsf37 @abrandnewusername
24
Rework ipi_send_target
#1138 opened Nov 19, 2023 by andybui01
@Indanz
7
investigate SCHED0011 failure on odroid_xu4 MCS issues about the mixed-criticality system config
#1130 opened Nov 9, 2023 by lsf37
8
Not enough memory for kernel devices - arm64
#1126 opened Nov 6, 2023 by andybui01
2
update CAVEATS files docs Manual and other documentation
#1124 opened Nov 4, 2023 by lsf37
9 tasks
RISC-V write-only page mappings
#1119 opened Oct 25, 2023 by Ivan-Velickovic
9
Document that the x86 port has known vulnerabilities
#1108 opened Sep 27, 2023 by DemiMarie
14
MCS fault handling issue when specifying period of a TCB.
#1104 opened Sep 14, 2023 by Kswin01
11
Should the manual document seL4_GetMR/seL4_SetMR? docs Manual and other documentation
#1100 opened Sep 4, 2023 by Ivan-Velickovic
1
ProTip! What’s not been updated in a month: updated:<2024-04-01.