Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / seL4/seL4 issues and pull requests

#1333 - OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002

Issue - State: open - Opened by lsf37 about 1 month ago
Labels: bug, MCS, SMP, debug-build

#1332 - gic_v3: fix SRE in hyp mode

Pull Request - State: open - Opened by JorgeMVP about 1 month ago

#1331 - smp/ipi.c: ipi send mask improvement

Pull Request - State: open - Opened by JorgeMVP about 1 month ago

#1330 - invocations_all.json: make paths explicit

Pull Request - State: closed - Opened by alwin-joshy about 1 month ago - 16 comments
Labels: proof-test, hw-build, hw-bench

#1329 - mcs: use sc_active in commitTime

Pull Request - State: open - Opened by michaelmcinerney about 2 months ago
Labels: MCS

#1328 - Adding auto-generation of a config file for invocation numbers

Pull Request - State: closed - Opened by alwin-joshy about 2 months ago - 9 comments

#1326 - configs: additional verified platforms

Pull Request - State: open - Opened by lsf37 about 2 months ago - 3 comments
Labels: verification, proof-test

#1325 - FPU Context Switching

Pull Request - State: open - Opened by Indanz about 2 months ago - 1 comment
Labels: verification, hw-test

#1324 - aarch32: make sure `irqInvalid` is `irq_t`

Pull Request - State: open - Opened by lsf37 about 2 months ago - 5 comments

#1323 - mcs: refactor refill_budget_check to ease verification

Pull Request - State: open - Opened by michaelmcinerney about 2 months ago - 1 comment
Labels: MCS

#1322 - [RFC-15][draft] Add experimental CHERI support

Pull Request - State: open - Opened by heshamelmatary about 2 months ago - 77 comments
Labels: proof-test

#1318 - aarch64/vcpu: refine guest vcpu context

Pull Request - State: open - Opened by JorgeMVP 2 months ago - 8 comments
Labels: verification

#1317 - boot: fix init_freemem skipping reserved regions

Pull Request - State: open - Opened by FennelFoxxo 2 months ago
Labels: bug, hw-test

#1316 - utils: safer str_to_long

Pull Request - State: open - Opened by lsf37 3 months ago

#1315 - aarch32: remove unused functions

Pull Request - State: closed - Opened by lsf37 3 months ago
Labels: hw-build

#1297 - thread state: abandon replyObject NULL invariant

Pull Request - State: open - Opened by lsf37 4 months ago - 3 comments
Labels: MCS, hw-test

#1183 - gicv3: Use split EOI mode

Pull Request - State: open - Opened by kent-mcleod 10 months ago - 5 comments
Labels: hw-build, hw-test

#179 - Bug report: x86 FPU init code looks so confusing

Issue - State: open - Opened by laokz almost 5 years ago - 1 comment
Labels: bug

#100 - add missing include for config.h

Pull Request - State: closed - Opened by axel-h about 6 years ago

#100 - add missing include for config.h

Pull Request - State: closed - Opened by axel-h about 6 years ago

#98 - zynqmp: add Ultra96 platform

Pull Request - State: closed - Opened by axel-h about 6 years ago - 4 comments

#98 - zynqmp: add Ultra96 platform

Pull Request - State: closed - Opened by axel-h about 6 years ago - 4 comments

#97 - zynqmp: add Ultra96 platform

Pull Request - State: closed - Opened by axel-h about 6 years ago

#96 - More RISC-V Changes

Pull Request - State: closed - Opened by chrisguikema about 6 years ago - 3 comments

#95 - Fix building on OS X

Pull Request - State: closed - Opened by yanok about 6 years ago - 3 comments

#94 - Rocket-Chip support for RISCV 64-bit Spike

Pull Request - State: closed - Opened by chrisguikema over 6 years ago - 9 comments

#93 - riscv: Support generic and utilisation benchmarks

Pull Request - State: closed - Opened by heshamelmatary over 6 years ago

#92 - riscv: Enable seL4 to run in Machine Mode (Highest Privilege)

Pull Request - State: closed - Opened by heshamelmatary over 6 years ago - 5 comments

#92 - riscv: Enable seL4 to run in Machine Mode (Highest Privilege)

Pull Request - State: closed - Opened by heshamelmatary over 6 years ago - 5 comments

#91 - Riscv32 Boot Fixes

Pull Request - State: closed - Opened by natestuder over 6 years ago - 1 comment

#90 - Fix typo: preemptible, not preemptable.

Pull Request - State: closed - Opened by waywardmonkeys over 6 years ago

#89 - typo?

Issue - State: closed - Opened by zhicheng over 6 years ago - 2 comments

#88 - "No user images loaded! abort() called."

Issue - State: closed - Opened by j824737450 over 6 years ago - 5 comments

#88 - "No user images loaded! abort() called."

Issue - State: closed - Opened by j824737450 over 6 years ago - 5 comments

#87 - Feature request: epoll-like event polling system

Issue - State: closed - Opened by DemiMarie over 6 years ago - 5 comments

#87 - Feature request: epoll-like event polling system

Issue - State: closed - Opened by DemiMarie over 6 years ago - 5 comments

#86 - Protect cross-userspace Spectre attacks (both variant 1 and 2)

Issue - State: open - Opened by DemiMarie over 6 years ago - 5 comments

#86 - Protect cross-userspace Spectre attacks (both variant 1 and 2)

Issue - State: open - Opened by DemiMarie over 6 years ago - 5 comments

#85 - Spectre variant 1 mitigation

Issue - State: closed - Opened by DemiMarie over 6 years ago - 4 comments

#85 - Spectre variant 1 mitigation

Issue - State: closed - Opened by DemiMarie over 6 years ago - 4 comments

#84 - Update roadmap

Issue - State: closed - Opened by DemiMarie over 6 years ago - 1 comment

#84 - Update roadmap

Issue - State: closed - Opened by DemiMarie over 6 years ago - 1 comment

#83 - Can the seL4 be compiled in thumb mode?

Issue - State: closed - Opened by a1123622944 over 6 years ago - 1 comment

#82 - Fix trivial comment typos.

Pull Request - State: closed - Opened by waywardmonkeys over 6 years ago - 2 comments

#82 - Fix trivial comment typos.

Pull Request - State: closed - Opened by waywardmonkeys over 6 years ago - 2 comments

#81 - Add thread name to debug info for SysDebugHalt and SysDebugSnapshot

Pull Request - State: closed - Opened by mokshasoft over 6 years ago - 1 comment

#80 - MOD_PYTHON error on http://sel4.systems

Issue - State: closed - Opened by manoelhc almost 7 years ago - 1 comment

#80 - MOD_PYTHON error on http://sel4.systems

Issue - State: closed - Opened by manoelhc almost 7 years ago - 1 comment

#79 - Cannot run x64 image with Qemu

Issue - State: closed - Opened by 130B848 almost 7 years ago - 4 comments

#78 - Container on Sel4

Issue - State: closed - Opened by hariramm7 almost 7 years ago - 1 comment

#77 - x86: add framebuffer info of Multiboot 2 via boot_info

Pull Request - State: closed - Opened by alex-ab almost 7 years ago - 2 comments

#76 - x86: evaluate ACPI RSDP v1 multiboot 2 information

Pull Request - State: closed - Opened by alex-ab almost 7 years ago - 2 comments

#75 - Installation

Issue - State: closed - Opened by hariramm7 about 7 years ago - 3 comments

#74 - ZynqMP Fixes

Pull Request - State: closed - Opened by natestuder about 7 years ago - 3 comments

#74 - ZynqMP Fixes

Pull Request - State: closed - Opened by natestuder about 7 years ago - 3 comments

#73 - Issue 69

Pull Request - State: closed - Opened by alex-ab about 7 years ago

#73 - Issue 69

Pull Request - State: closed - Opened by alex-ab about 7 years ago

#72 - benchmark: support reading out idle cpu time on remote cpu

Pull Request - State: closed - Opened by alex-ab about 7 years ago

#72 - benchmark: support reading out idle cpu time on remote cpu

Pull Request - State: closed - Opened by alex-ab about 7 years ago

#71 - x86: add multiboot2 support

Pull Request - State: closed - Opened by alex-ab about 7 years ago - 3 comments

#71 - x86: add multiboot2 support

Pull Request - State: closed - Opened by alex-ab about 7 years ago - 3 comments

#70 - Zcu102 7.0.0

Pull Request - State: closed - Opened by Furao about 7 years ago - 8 comments

#69 - compile and link error for imx6 when benchmark interface is enabled

Issue - State: closed - Opened by alex-ab about 7 years ago - 3 comments

#69 - compile and link error for imx6 when benchmark interface is enabled

Issue - State: closed - Opened by alex-ab about 7 years ago - 3 comments

#68 - benchmark: support reading out idle cpu time on remote cpu

Issue - State: closed - Opened by alex-ab about 7 years ago - 2 comments

#67 - x86 UEFI support by using Multiboot2 with GRUB2

Issue - State: closed - Opened by alex-ab about 7 years ago - 18 comments

#66 - irq_t / interrupt_t implicit conversion

Issue - State: closed - Opened by waywardmonkeys about 7 years ago

#65 - Removed unused static function set_irq_active

Pull Request - State: closed - Opened by mokshasoft over 7 years ago

#64 - Unused functions found by clang

Pull Request - State: closed - Opened by mokshasoft over 7 years ago - 1 comment

#63 - Clang warnings

Pull Request - State: closed - Opened by mokshasoft over 7 years ago - 1 comment

#62 - asid_map may not get initialized when CONFIG_VTX is not set

Issue - State: closed - Opened by mokshasoft over 7 years ago - 2 comments

#62 - asid_map may not get initialized when CONFIG_VTX is not set

Issue - State: closed - Opened by mokshasoft over 7 years ago - 2 comments

#61 - lex.py broken with recent changes

Issue - State: closed - Opened by podhrmic over 7 years ago - 4 comments

#61 - lex.py broken with recent changes

Issue - State: closed - Opened by podhrmic over 7 years ago - 4 comments

#60 - Minor manual fixes

Pull Request - State: closed - Opened by emberian over 7 years ago - 1 comment

#59 - Remove extraneous quotes from PATH setting

Pull Request - State: closed - Opened by emberian over 7 years ago

#58 - Missing header in tk1 hardware.h

Issue - State: closed - Opened by agacek almost 8 years ago - 2 comments

#57 - Thread code nitpick

Issue - State: closed - Opened by berkus almost 8 years ago - 2 comments

#57 - Thread code nitpick

Issue - State: closed - Opened by berkus almost 8 years ago - 2 comments

#56 - kernel/boot.c nitpick

Issue - State: closed - Opened by berkus almost 8 years ago - 1 comment

#55 - Fix typo

Pull Request - State: closed - Opened by berkus almost 8 years ago - 4 comments

#54 - Fix bug in invocation_header_gen.py due to cf8be66

Pull Request - State: closed - Opened by cl91 almost 8 years ago

#53 - Bug in invocation_header_gen.py on ia32?

Issue - State: closed - Opened by cl91 almost 8 years ago - 6 comments

#53 - Bug in invocation_header_gen.py on ia32?

Issue - State: closed - Opened by cl91 almost 8 years ago - 6 comments

#52 - Change PIT_HZ to 1193182

Pull Request - State: closed - Opened by emberian almost 8 years ago - 2 comments

#51 - Minor fixes from quick proof read of 4.0 manual

Pull Request - State: closed - Opened by jdub almost 8 years ago - 5 comments

#50 - CPU grinding on TEST_FPU0001

Issue - State: closed - Opened by jdub almost 8 years ago - 10 comments

#50 - CPU grinding on TEST_FPU0001

Issue - State: closed - Opened by jdub almost 8 years ago - 10 comments

#49 - Enable SYSCALL (SCE) after entering long mode

Pull Request - State: closed - Opened by jdub almost 8 years ago - 3 comments

#49 - Enable SYSCALL (SCE) after entering long mode

Pull Request - State: closed - Opened by jdub almost 8 years ago - 3 comments

#48 - Compiler error: seL4_Fault_VGICMaintenance_IDX undeclared

Issue - State: closed - Opened by agacek almost 8 years ago - 2 comments

#48 - Compiler error: seL4_Fault_VGICMaintenance_IDX undeclared

Issue - State: closed - Opened by agacek almost 8 years ago - 2 comments

#47 - Optional inlining of functions and syscalls

Pull Request - State: closed - Opened by jdub almost 8 years ago - 17 comments

#46 - NX / XD on x86_64

Issue - State: open - Opened by jdub almost 8 years ago - 7 comments

#45 - Retain register values when not using IPC buffer

Pull Request - State: closed - Opened by jdub about 8 years ago - 16 comments

#45 - Retain register values when not using IPC buffer

Pull Request - State: closed - Opened by jdub about 8 years ago - 16 comments