Search results

Lots of libc undefined references

Status: Open.

#137 In seL4/sel4test;

· Ivan-Velickovic opened on Mar 11, 2025

Add tests for vCPU objects

Status: Open.

#115 In seL4/sel4test;

· Ivan-Velickovic opened on Feb 19, 2024

TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32

Status: Open.

#112 In seL4/sel4test;

· lsf37 opened on Jan 31, 2024

DOMAINS0001 runs into a assert in sel4test-tests/src/main.c@:250

Status: Open.

#107 In seL4/sel4test;

· axel-h opened on Nov 8, 2023

Test x86 with x2apic

Status: Open.

#96 In seL4/sel4test;

· Indanz opened on Jun 20, 2023

pc99: SCHED0011 sometimes times out

Status: Open.

#93 In seL4/sel4test;

· lsf37 opened on May 9, 2023

TK1 and ODROID_XU4 fail CACHEFLUSH0001

Status: Open.

#80 In seL4/sel4test;

· lsf37 opened on Oct 6, 2022

Investigate running MCS on Qemu simulation targets

MCS

Status: Open.

#72 In seL4/sel4test;

· lsf37 opened on Feb 8, 2022

ZCU102: Enable HAVE_TIMER tests and fix failing ones

Status: Open.

#71 In seL4/sel4test;

· kent-mcleod opened on Feb 8, 2022

provide seL4test in Rust

help wanted

Status: Open.

#68 In seL4/sel4test;

· axel-h opened on Jan 26, 2022

interspersed IOMMU messages in skylake output

Status: Open.

#60 In seL4/sel4test;

· lsf37 opened on Dec 6, 2021

Analyze test case BREAKPOINT_002 for race conditions

help wanted

Status: Open.

#43 In seL4/sel4test;

· axel-h opened on Jul 25, 2021