8000 Issues · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: seL4/seL4

Beta
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

166 Open 291 Closed
166 Open 291 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

Build fails using QEMU v10
#1462 opened May 20, 2025 by josephg
1
2
Aarch64: 4KB granule check fails with FEAT_LPA2
#1461 opened May 19, 2025 by fischerer
2
[Manual] Why is it explicitly stated that seL4_CNode_Mutate does not copy?
#1458 opened May 13, 2025 by wucke13
3
Clarify the Usage and Mechanism of Guard Values and Bits in the Docs
#1457 opened May 13, 2025 by moritz-meier
1
Manual speaks of "at least the size of a CSpace". What is the specific size of a CSpace? Shouldn't this be CNode?
#1456 opened May 13, 2025 by wucke13
3
x86 FPU XSAVES Option Doesn't Exist
#1446 opened Apr 10, 2025 by chrisguikema
@Indanz
5
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
confusing attribution of 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
7
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
6
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
0