islet-project/islet

Issues

• Multi-core Related Test Cases Hanging in ACS Test

  #406 opened 4 months ago by bitboom
  0

• SDK should point to rust_rsi instead of rsi_el0

  #382 opened 4 months ago by jinbpark
  7

• Islet Mentorship: Strengthening Security through Fuzz Testing

  #398 opened 5 months ago by Salkimmich
  0

• veraison service issue

  #391 opened 5 months ago by oxsignal
  6

• A booting issue in the veraison example with HES

  #392 opened 5 months ago by zpzigi754
  7

• Mentorship Opportunity for CCC Projects

  #340 opened 9 months ago by Salkimmich
  1

• Proposal for Core Object Management Improvement

  #383 opened 6 months ago by bitboom
  0

• Islet rmm memory handling issues

  #368 opened 6 months ago by L0czek
  3

• acs: Conflict `RecCreateFlags case` with others

  #186 opened 6 months ago by bitboom
  1

• Failure of unsafe-analyzer analysis

  #339 opened 6 months ago by bitboom
  1

• MIRI Integration Status

  #361 opened 6 months ago by bitboom
  1

• Properly handling errors in the middle of handlers

  #375 opened 6 months ago by jinbpark
  0

• ARM CCA development chip available now?

  #369 opened 6 months ago by blossomin
  1

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

  #356 opened 8 months ago by ajay-fuji
  9

• Creation of OS image for Realm and possible alternatives

  #359 opened 8 months ago by atulfj
  7

• Enable LFX Insights On The Islet Project

  #357 opened 8 months ago by bensternthal
  1

• RMM v1.0-eac5 support

  #291 opened 8 months ago by bokdeuk-jeong
  1

• Reproduce veraison demo

  #278 opened a year ago by jinbpark
  8

• realm measurement using veraison

  #350 opened 8 months ago by darshanp4
  9

• Issues with safety traits and interrupting attestation

  #352 opened 9 months ago by L0czek
  0

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

  #274 opened a year ago by zos
  11

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

  #294 opened a year ago by bitboom
  0

• RTT_INIT_RIPAS error due to some garbage in the delegated granule for RTT.

  #281 opened a year ago by bokdeuk-jeong
  1

• Insert autopadding

  #276 opened a year ago by bokdeuk-jeong
  1

• Failed to reproduce confidential-ml example

  #282 opened a year ago by jinbpark
  1

• How to get a CCA machine or simulate CCA chip on X86_64?

  #280 opened a year ago by blossomin
  1

• Rename branches with suitable spec version

  #191 opened 2 years ago by zpzigi754
  2

• Identify the cause of the increased RMM memory usage

  #166 opened a year ago by bokdeuk-jeong
  5

• A secure yet efficient way to access from child (Rec) to parent (Rd)

  #222 opened a year ago by jinbpark
  4

• Rule checker workflow is failing on the main branch

  #260 opened a year ago by zpzigi754
  1

• Transfer projects from samsung/islet* to islet-projects/islet*

  #257 opened a year ago by bitboom
  1

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

  #247 opened a year ago by zpzigi754
  1

• Running islet with --normal-world=linux-net breaks network configuration on the host

  #240 opened a year ago by Havner
  4

• Compilation fails due to the latest switch from rsa to openssl

  #244 opened a year ago by Havner
  1

• Network is not configured on the realm

  #241 opened a year ago by Havner
  5

• rust-rsi issue & SDK problem

  #232 opened a year ago by TomaszSwierczek
  6

• The project repository takes a lot of disk space

  #218 opened a year ago by p-sawicki2
  1

• ACS tests are too slow to work in ci tests

  #206 opened a year ago by zpzigi754
  0

• ACS: mm_unprotected_ipa_boundary testcase is failed

  #188 opened a year ago by nook1208
  8

• CI failure with 404 not found

  #195 opened a year ago by zpzigi754
  0

• ci: ACS test is hang

  #187 opened 2 years ago by bitboom
  0

• Add an option to control islet's log-level in build time

  #171 opened 2 years ago by zpzigi754
  0

• nw-linux booting does not succeed in a docker image

  #176 opened 2 years ago by zpzigi754
  0

• ACS test failure (delegation) on latest commit

  #167 opened 2 years ago by bitboom
  0

• Enhance locking mechanism

  #162 opened 2 years ago by bitboom
  2

• A two-way isolation between Realm and RMM

  #165 opened 2 years ago by jinbpark
  0

• KVM_CAP_RME(KVM_CAP_ARM_RME_CREATE_RD): No such device or address

  #163 opened 2 years ago by zpzigi754
  0

• sdk: cdylib doesn't seem to be supported in our target (aarch64-unknown-linux-gnu)

  #159 opened 2 years ago by zpzigi754
  0

• Fix a ci failure (sdk build)

  #157 opened 2 years ago by zpzigi754
  0

• Ask for Suggestions about Research Topics

  #151 opened 2 years ago by subnuwa
  6