Issues

• Feature request: support programmable HPM counters in Miralis

  CharlyCst/miralis#490 · Filter by author luojia65 opened on Sep 28, 2026
  1

• Spurious tests fails on sstc-offload

  bugTest
  CharlyCst/miralis#443 · Filter by author CharlyCst opened on Mar 19, 2025
  1

• Test misaligned load execution on Spike

  bugTest
  CharlyCst/miralis#425 · Filter by author CharlyCst opened on Feb 21, 2025
  1

• Model checking: decoder verification fail

  bug
  CharlyCst/miralis#420 · Filter by author CharlyCst opened on Feb 18, 2025

• Enforce mstatus.tw = 1

  bugenhancement
  CharlyCst/miralis#325 · Filter by author CharlyCst opened on Dec 9, 2024

• Enable crypto extension

  enhancementExplorationgood first issue
  CharlyCst/miralis#293 · Filter by author francois141 opened on Nov 29, 2024

• Enable vector extension in Miralis

  enhancementgood first issue
  CharlyCst/miralis#288 · Filter by author francois141 opened on Nov 28, 2024

• Create ACE protection policy

  enhancementExplorationmainquestion
  CharlyCst/miralis#215 · Filter by author francois141 opened on Sep 27, 2024

• Add passthrough device

  enhancement
  CharlyCst/miralis#175 · Filter by author francois141 opened on Aug 31, 2024
  

• Run a firmware on top of miralis_firmware

  Exploration
  CharlyCst/miralis#162 · Filter by author francois141 opened on Aug 28, 2024

• Investigate RISC-V confidential computing solutions

  documentationExploration
  CharlyCst/miralis#152 · Filter by author CharlyCst opened on Aug 23, 2024
  3

• Running just gdb with a config file

  enhancement
  CharlyCst/miralis#146 · Filter by author Wesdcv opened on Aug 19, 2024

• Improve debugging documentation and scripts

  documentationenhancement
  CharlyCst/miralis#69 · Filter by author CharlyCst opened on Jun 2, 2024

• Lint dependencies with cargo deny

  ExplorationTest
  CharlyCst/miralis#56 · Filter by author CharlyCst opened on Apr 30, 2024
  3

• Try running FreeRTOS?

  ExplorationTest
  CharlyCst/miralis#55 · Filter by author CharlyCst opened on Apr 30, 2024

• Floating point support

  enhancement
  CharlyCst/miralis#53 · Filter by author CharlyCst opened on Apr 23, 2024
  4

• Distinguish traps from payload and from Miralis

  enhancement
  CharlyCst/miralis#34 · Filter by author CharlyCst opened on Mar 22, 2024

• Add support for MXLEN = 32 instead of 64

  enhancement
  CharlyCst/miralis#22 · Filter by author fesqvw opened on Mar 7, 2024