Search results

Progress + gramine + branches

bugSomething isn't workingSomething isn't working

DesignDesign discussionDesign discussion

documentationImprovements or additions to documentationImprovements or additions to documentation

MiscOther tasksOther tasks

RISC-VSpecific to RISC-VSpecific to RISC-V

Stage 2Related to the monitor (stage 2)Related to the monitor (stage 2)

x86_64Specific to x86_64Specific to x86_64

Status: Open.

#109 In epfl-dcsl/tyche-devel;

· aghosn opened on Sep 6, 2024

TLBShootdown Testing for Multicore

Status: Open.

#73 In epfl-dcsl/tyche-devel;

· neeluk7 opened on Mar 11, 2024

Tyche AP Boot Failure on Linux v6.5+

Status: Open.

#68 In epfl-dcsl/tyche-devel;

· YuChen-Qian opened on Feb 11, 2024

Software Engineering + Design

DesignDesign discussionDesign discussion

Stage 2Related to the monitor (stage 2)Related to the monitor (stage 2)

x86_64Specific to x86_64Specific to x86_64

Status: Open.

#55 In epfl-dcsl/tyche-devel;

· aghosn opened on Oct 17, 2023

Installing Linux default kernel drivers + cleaning up justfiles

documentationImprovements or additions to documentationImprovements or additions to documentation

LinuxRelated to the Linux host OSRelated to the Linux host OS

Status: Open.

#49 In epfl-dcsl/tyche-devel;

· aghosn opened on Aug 7, 2023

·  

Tyche Virtual Machines support

The right abstraction layer for VMs

DesignDesign discussionDesign discussion

LinuxRelated to the Linux host OSRelated to the Linux host OS

Stage 2Related to the monitor (stage 2)Related to the monitor (stage 2)

x86_64Specific to x86_64Specific to x86_64

Status: Open.

#47 In epfl-dcsl/tyche-devel;

· aghosn opened on Aug 4, 2023

·  

Tyche Virtual Machines support

Benchmark Tooling

Status: Open.

#17 In epfl-dcsl/tyche-devel;

· aghosn opened on Apr 3, 2023

Design issues that popped after implementing the drivers

Status: Open.

#15 In epfl-dcsl/tyche-devel;

· aghosn opened on Mar 30, 2023

SMP fixup - WIP

Stage 1Related to the loader (stage 1)Related to the loader (stage 1)

Stage 2Related to the monitor (stage 2)Related to the monitor (stage 2)

x86_64Specific to x86_64Specific to x86_64

Status: Open.

#14 In epfl-dcsl/tyche-devel;

· CharlyCst opened on Jan 2, 2023

Roadmap

MiscOther tasksOther tasks

Status: Open.

#13 In epfl-dcsl/tyche-devel;

· CharlyCst opened on Dec 9, 2022

Investigate Crusot

MiscOther tasksOther tasks

Status: Open.

#11 In epfl-dcsl/tyche-devel;

· CharlyCst opened on Nov 14, 2022

Setup ACM workflow

Stage 1Related to the loader (stage 1)Related to the loader (stage 1)

Stage 2Related to the monitor (stage 2)Related to the monitor (stage 2)

x86_64Specific to x86_64Specific to x86_64

Status: Open.

#10 In epfl-dcsl/tyche-devel;

· CharlyCst opened on Nov 11, 2022