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

no_std support #232

Merged
merged 1 commit into from
May 13, 2024
Merged

no_std support #232

merged 1 commit into from
May 13, 2024

Conversation

anakrish
Copy link
Collaborator

  • Disable default features in dependencies
  • Use anyhow::Error::msg to map errors. Note: anyhow will itself be removed later.
  • lazy_static/spin_no_std used in no_std environments
  • ensure_no_std binary is built to target thumbv7m-none-eabi to ensure that there are no std dependencies. thumbv7m-none-eabi target has no std support.
  • The opa-no-std feature enables only those Regorus features that work with no_std.

@anakrish anakrish requested a review from mkulke May 10, 2024 03:51
src/builtins/debugging.rs Outdated Show resolved Hide resolved
src/parser.rs Outdated Show resolved Hide resolved
@anakrish anakrish force-pushed the no-std-build branch 4 times, most recently from 77eb476 to caa62c1 Compare May 12, 2024 15:42
- Disable default features in dependencies
- Use anyhow::Error::msg to map errors. Note: anyhow will itself be removed later.
- lazy_static/spin_no_std used in no_std environments
- ensure_no_std binary is built to target  thumbv7m-none-eabi to ensure that
  there are no std dependencies.  thumbv7m-none-eabi target has no std support.
- The opa-no-std feature enables only those Regorus features that work with no_std.
- Enable tests with no_std
- Update sizes of regorus binary in  README.md
- Ensure that regorus example can be built with only std
- Ensure that regorus example can be built with no_std

Signed-off-by: Anand Krishnamoorthi <[email protected]>
Copy link

@mkulke mkulke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@anakrish anakrish merged commit e86b590 into microsoft:main May 13, 2024
4 checks passed
@anakrish anakrish deleted the no-std-build branch May 13, 2024 13:42
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

Successfully merging this pull request may close these issues.

2 participants