Skip to content

Issues: islet-project/islet

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 69 Closed
27 Open 69 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

A booting issue in the veraison example with HES
#392 opened Nov 1, 2024 by zpzigi754
@Havner @L0czek @p-sawicki2
6
veraison service issue
#391 opened Oct 31, 2024 by oxsignal
@L0czek @p-sawicki2
5
Proposal for Core Object Management Improvement
#383 opened Oct 22, 2024 by bitboom
SDK should point to rust_rsi instead of rsi_el0
#382 opened Oct 22, 2024 by jinbpark
4
Properly handling errors in the middle of handlers
#375 opened Oct 10, 2024 by jinbpark
Islet rmm memory handling issues
#368 opened Sep 30, 2024 by L0czek
@bokdeuk-jeong
3
Creation of OS image for Realm and possible alternatives
#359 opened Aug 9, 2024 by atulfj
7
Update Docker Images and readme provided as part of confidential-ml example
#356 opened Jul 29, 2024 by ajay-fuji
@jinbpark
9
Issues with safety traits and interrupting attestation
#352 opened Jul 16, 2024 by L0czek
Mentorship Opportunity for CCC Projects
#340 opened Jun 26, 2024 by Salkimmich
1
autopadding: Cannot cover struct type with a field in the struct
#294 opened Mar 29, 2024 by bitboom
Failed to reproduce confidential-ml example bug Something isn't working
#282 opened Mar 13, 2024 by jinbpark
@jinbpark
1
Islet-cli segfaults, when launched from /shared folder with rmm=islet bug Something isn't working
#274 opened Feb 12, 2024 by zos
@bitboom @bokdeuk-jeong @jinbpark
11
The list of code patterns where verification does not work well
#247 opened Dec 5, 2023 by zpzigi754
1
Rename branches with suitable spec version maintenance
#191 opened Sep 26, 2023 by zpzigi754
2
A two-way isolation between Realm and RMM question Further information is requested
#165 opened Aug 31, 2023 by jinbpark
Enhance locking mechanism
#162 opened Aug 29, 2023 by bitboom
2
Ask for Suggestions about Research Topics
#151 opened Aug 18, 2023 by subnuwa
6
Do optimizations in frequently called RMIs enhancement New feature or request
#150 opened Aug 17, 2023 by jinbpark
2
Refactor PageTable interfaces maintenance
#147 opened Aug 14, 2023 by jinbpark
@jinbpark
1
A safe interface to read/write page table enhancement New feature or request
#131 opened Jul 26, 2023 by jinbpark
Realm is unexpectedly destroyed bug Something isn't working
#128 opened Jul 24, 2023 by zpzigi754
Figure out a way to securely manage "Run" and "HostMMIO_Read/Write"
#119 opened Jul 19, 2023 by jinbpark
2
Reinforce RMI input/context validations
#114 opened Jul 13, 2023 by jinbpark
@jinbpark
Update assets for ACS maintenance
#101 opened Jun 30, 2023 by zpzigi754
2
ProTip! Mix and match filters to narrow down what you’re looking for.