Skip to content
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.

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

Improve Ring configuration for seL4 #237

Open
nspin opened this issue Nov 15, 2024 · 0 comments
Open

Improve Ring configuration for seL4 #237

nspin opened this issue Nov 15, 2024 · 0 comments

Comments

@nspin
Copy link
Member

nspin commented Nov 15, 2024

briansmith/ring#1937 enables Ring to be built with target_os = "none", but the resulting configuration doesn't leverage hand-optimized assembly.

Adding some kind of configuration modifier (e.g. a Cargo feature) that adds target_os = "none" to the LINUX_ABI list at https://github.com/briansmith/ring/blob/befdc87ac7cbca615ab5d68724f4355434d3a620/build.rs#L238-L251 would do the trick.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant