The Wayback Machine - https://web.archive.org/web/20210801035322/https://github.com/topics/sel4
Skip to content
#

sel4

Star

Here are 32 public repositories matching this topic...

Language: All
Filter by language
All 32 C 13 Rust 8 Python 3 CMake 2 C++ 1 Perl 1 Shell 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

veracruz-project / veracruz

Star
Open

Sonora enclave functions are not easily discoverable

dreemkiller
dreemkiller commented Jan 22, 2021

Describe the bug
The SGX enclave entry functions for Sonora are not easily discoverable

To Reproduce
Try grepping for sinaloa_init_remote_attestation_enc in the project directory. You will find calls to it but not an implementation

Expected behaviour
To aide newcomers to the project, functions should be easy for them to find the implementations of.

Additional context

Read more
bug good first issue help wanted trusted-veracruz-runtime
Find more good first issues →

Improve this page

Add a description, image, and links to the sel4 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sel4 topic, visit your repo's landing page and select "manage topics."

Learn more