islet
islet copied to clipboard
islet-project
An on-device confidential computing platform
## Status ``` REGRESSION REPORT: ================== TOTAL TESTS : 51 (8 skipped) TOTAL PASSED : 30 TOTAL FAILED : 18 TOTAL SKIPPED : 2 TOTAL SIM ERROR : 1 ```...
This is raised from https://github.com/Samsung/islet/pull/185. ## Failed case Failed case is related with `B3.4.11 RmiRecCreateFlags`. The reserved fields of `RmiRecCreateFlags` must be zero. But when i patched it like spec,...
When double-locking occurs, it is hard to detect. (just hang) One example of double-locking is that lock two granules with same address. This occurred in realm-creation test of ACS. https://github.com/Samsung/islet/pull/155...
A modern secure hypervisor offers a capability to isolate VM (Realm) from VMM (RMM) (i.e., host hyp can't corrupt guest) I think this capability gets really important in confidential computing....
Hi, Thanks for your great work. I am an AI researcher from Swinburne University of Technology in Australia. I watched your code prediction demo and want to conduct research related...
- Move "entires: [E; N]" from core PageTable interfaces to each implementations.
- Some RMI commands (e.g., REC_ENTER) are called lots of times so might be critical to overall performance. Make such jobs as fast as possible. (e.g., a more efficient data...
... So, we have to check the addr is `DELEGATED state` before calling smc. I let this work for next PR (undelegation TCs). ... _Originally posted by @bitboom in https://github.com/Samsung/islet/pull/135#discussion_r1282648334_
- Currently, we write a page table entry in a typical way, (e.g., `self.0 = RawPTE::new(0);`), but this is not a safe way to modify page table entries, as it...
The below is the related log from the latest commit (a95bf0f4cbc8ef034560fa0e4ecc399bb8693f83). Not sure whether it is the cause of the bus error or the result of the bus error. ```...
Metadata
Owner
Metadata
An on-device confidential computing platform