Issues

• Validation of Host-Injected Virtual Interrupts in REC_ENTER

  islet-project/islet#495 · Filter by author n1ptune opened on Sep 28, 2026

• Reserve contiguous virtual address space in RMM

  islet-project/islet#480 · Filter by author bokdeuk-jeong opened on Jan 13, 2026

• Failed to reproduce confidential-ml example

  islet-project/islet#471 · Filter by author Carol1014 opened on Oct 15, 2025
  24

  

• Significant performance drop observed inside Realm compared to Normal World in FVP

  islet-project/islet#469 · Filter by author theodokots opened on Oct 7, 2025
  3

• Proposal for Core Object Management Improvement

  islet-project/islet#383 · Filter by author bitboom opened on Oct 22, 2024

• Creation of OS image for Realm and possible alternatives

  islet-project/islet#359 · Filter by author atulfj opened on Aug 9, 2024
  7

• Update Docker Images and readme provided as part of confidential-ml example

  islet-project/islet#356 · Filter by author ajay-fuji opened on Jul 29, 2024
  9

  

• Issues with safety traits and interrupting attestation

  islet-project/islet#352 · Filter by author L0czek opened on Jul 16, 2024

• autopadding: Cannot cover struct type with a field in the struct

  islet-project/islet#294 · Filter by author bitboom opened on Mar 29, 2024

• Failed to reproduce confidential-ml example

  bug
  islet-project/islet#282 · Filter by author jinbpark opened on Mar 13, 2024
  1

  

• Islet-cli segfaults, when launched from /shared folder with rmm=islet

  bug
  islet-project/islet#274 · Filter by author zos opened on Feb 12, 2024
  11

  

• The list of code patterns where verification does not work well

  islet-project/islet#247 · Filter by author zpzigi754 opened on Dec 5, 2023
  1

• Rename branches with suitable spec version

  maintenance
  islet-project/islet#191 · Filter by author zpzigi754 opened on Sep 26, 2023
  2

• A two-way isolation between Realm and RMM

  question
  islet-project/islet#165 · Filter by author jinbpark opened on Aug 31, 2023

• Enhance locking mechanism

  islet-project/islet#162 · Filter by author bitboom opened on Aug 29, 2023
  2

• Ask for Suggestions about Research Topics

  islet-project/islet#151 · Filter by author subnuwa opened on Aug 18, 2023
  6

• Do optimizations in frequently called RMIs

  enhancement
  islet-project/islet#150 · Filter by author jinbpark opened on Aug 17, 2023
  2

• Refactor PageTable interfaces

  maintenance
  islet-project/islet#147 · Filter by author jinbpark opened on Aug 14, 2023
  1

  

• A safe interface to read/write page table

  enhancement
  islet-project/islet#131 · Filter by author jinbpark opened on Jul 26, 2023

• Figure out a way to securely manage "Run" and "HostMMIO_Read/Write"

  islet-project/islet#119 · Filter by author jinbpark opened on Jul 19, 2023
  2

• Reinforce RMI input/context validations

  islet-project/islet#114 · Filter by author jinbpark opened on Jul 13, 2023