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

152 Open 276 Closed
152 Open 276 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Aarch32: CLK_MAGIC, CLK_SHIFT inconsistencies
#1352 opened Nov 19, 2024 by Indanz
1
QEMU riscv32 SMP stucks
#1345 opened Nov 5, 2024 by yf13
2
Alignment faults on AArch64 docs Manual and other documentation
#1339 opened Oct 30, 2024 by Ivan-Velickovic
4
install target fails for the verified ARM_HYP configuration
#1334 opened Oct 18, 2024 by wucke13
1
OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002 bug Not working as intended debug-build relevant to debug build configurations MCS issues about the mixed-criticality system config SMP Issues related to muticore functionality
#1333 opened Oct 12, 2024 by lsf37
@alwin-joshy
Pre-RFC: Give seL4 TCB fault message types unique IDs across kernel configurations
#1327 opened Oct 3, 2024 by kent-mcleod
3
libsel4: Generated invocation functions don't reflect the entire return type for errors
#1321 opened Sep 23, 2024 by kent-mcleod
5
seL4_TCB_SetSchedParams: inconsistency between API reference and implementation
#1311 opened Aug 22, 2024 by alwin-joshy
1
1
seL4_X_ASIDControl in manual: incorrect number of VSpaces docs Manual and other documentation
#1303 opened Jul 29, 2024 by astevins
@lsf37
1
PR preprocess test should compare with base branch CI related to continuous integration and testing
#1299 opened Jul 19, 2024 by lsf37
SchedControl_ConfigureFlags should report ranges in error messages enhancement
#1293 opened Jul 10, 2024 by lsf37
stale frame cap could be used to flush "wrong" memory bug Not working as intended
#1281 opened Jul 1, 2024 by lsf37
1
@lsf37
1
seL4 floating point compilation support question More of a question than an issue
#1268 opened Jun 20, 2024 by Bojan-Lukic
2
MAX_UNTYPED_OBJECTS too small for some processors
#1257 opened Jun 10, 2024 by chrisguikema
@axel-h
2
x86 Serial Drivers in seL4 Kernel
#1256 opened Jun 7, 2024 by chrisguikema
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
5
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
Should we add -Wconversion to compiler flags?
#1187 opened Feb 7, 2024 by lsf37
5
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
ProTip! Follow long discussions with comments:>50.