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 ourterms of serviceand privacy statement.We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

149 Open 274 Closed
149 Open 274 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Usealt+click/returnto exclude labels
or⇧+click/returnfor 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

install target fails for the verified ARM_HYP configuration
#1334 openedOct 18, 2024by wucke13
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 openedOct 12, 2024by lsf37
@alwin-joshy
Pre-RFC: Give seL4 TCB fault message types unique IDs across kernel configurations
#1327 openedOct 3, 2024by kent-mcleod
3
libsel4: Generated invocation functions don't reflect the entire return type for errors
#1321 openedSep 23, 2024by kent-mcleod
5
seL4_TCB_SetSchedParams: inconsistency between API reference and implementation
#1311 openedAug 22, 2024by alwin-joshy
1
1
seL4_X_ASIDControl in manual: incorrect number of VSpaces docs Manual and other documentation
#1303 openedJul 29, 2024by astevins
@lsf37
1
PR preprocess test should compare with base branch CI related to continuous integration and testing
#1299 openedJul 19, 2024by lsf37
SchedControl_ConfigureFlags should report ranges in error messages enhancement
#1293 openedJul 10, 2024by lsf37
stale frame cap could be used to flush "wrong" memory bug Not working as intended
#1281 openedJul 1, 2024by lsf37
1
@lsf37
1
seL4 floating point compilation support question More of a question than an issue
#1268 openedJun 20, 2024by Bojan-Lukic
2
MAX_UNTYPED_OBJECTS too small for some processors
#1257 openedJun 10, 2024by chrisguikema
@axel-h
2
x86 Serial Drivers in seL4 Kernel
#1256 openedJun 7, 2024by chrisguikema
Reduce difference betweenmasterandmicrokitbranches
#1245 openedMay 1, 2024by nspin
1
Missing faults in manual docs Manual and other documentation
#1234 openedMar 30, 2024by Ivan-Velickovic
5
aarch32: No easy way for a thread to modify its TPIDRURO register.
#1216 openedMar 11, 2024by kent-mcleod
5
PAR_EL1 usage (at handleVMFault) in the kernel leaks info to the vCPU
#1212 openedMar 2, 2024by JorgeMVP
1
Export value of MAX_IRQ
#1207 openedFeb 28, 2024by Ivan-Velickovic
1
Generated platform descriptions (.yaml and.json) do not describe final device regions
#1197 openedFeb 14, 2024by Ivan-Velickovic
4
arm64: silent asserts before mapping the kernel window
#1191 openedFeb 9, 2024by andybui01
3
Should we add-Wconversionto compiler flags?
#1187 openedFeb 7, 2024by lsf37
5
Should IRQHandler caps have a way to set whether Acknowledgement happens automatically? enhancement
#1185 openedFeb 2, 2024by kent-mcleod
16
Support full 48-bit PA on AArch64 enhancement
#1175 openedJan 29, 2024by heshamelmatary
2
seL4 doesn't boot with GICv3 on QEMU
#1170 openedJan 26, 2024by heshamelmatary
3
SMP with clang hangs on hifive in release config
#1160 openedJan 14, 2024by lsf37
2
Adding baseline Morello support
#1158 openedJan 9, 2024by heshamelmatary
9 of 33 tasks
1
ProTip! What’s not been updated in a month:updated:<2024-09-21.