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

161 Open 285 Closed
161 Open 285 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

Spurious IRQs on RISC-V SMP
#1442 opened Apr 2, 2025 by Ivan-Velickovic
s/master/main/ - renaming the main branch
#1437 opened Mar 26, 2025 by midnightveil
2
clang rv64/rv32 simulations started taking 12min+
#1436 opened Mar 26, 2025 by midnightveil
1 of 2 tasks
5
yieldTo message semantics MCS issues about the mixed-criticality system config question More of a question than an issue
#1433 opened Mar 26, 2025 by lsf37
9
IRQ Model Refactoring / Fidelity
#1428 opened Mar 18, 2025 by midnightveil
2 tasks
1
Missing capability fault generated for receive on bound notifications
#1424 opened Mar 12, 2025 by talsewell
Document SMC capability docs Manual and other documentation
#1422 opened Mar 7, 2025 by Ivan-Velickovic
Aarch32,SMP: Store CPU index in TPIDRPRW? cleanup Cleanup of code, comments, docs ... SMP Issues related to muticore functionality
#1407 opened Feb 25, 2025 by Indanz
4
Document seL4_SetTLSBase
#1402 opened Feb 17, 2025 by Indanz
gcc-12 riscv64 mulitlib toolchain doesn't appear to handle _zicsr_zifencei march extensions nicely
#1394 opened Feb 10, 2025 by kent-mcleod
2
odd arch_switchToIdleThread differences for arm64 — but otherwise mostly not arch-specific?
#1393 opened Feb 10, 2025 by midnightveil
3
mishandled traps on aarch64 when hypervisor support is enabled
#1388 opened Feb 5, 2025 by midnightveil
5
Kernel elf separate segments (for W^X permissions)
#1377 opened Jan 29, 2025 by midnightveil
6
Riscv, kernel trapping, and "double" faults
#1374 opened Jan 21, 2025 by midnightveil
2 of 3 tasks
5
MCS: Prevent budget amplification via IPC calls to passive servers bug Not working as intended MCS issues about the mixed-criticality system config
#1365 opened Dec 15, 2024 by Indanz
Aarch32: CLK_MAGIC, CLK_SHIFT inconsistencies
#1352 opened Nov 19, 2024 by Indanz
3
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
6
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
ProTip! Adding no:label will show everything without a label.