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

add stabilized interface to HermitOS #1

Merged
merged 19 commits into from
Apr 29, 2024
Merged

add stabilized interface to HermitOS #1

merged 19 commits into from
Apr 29, 2024

Conversation

mkroening
Copy link
Member

HermitOS is a unikernel and its interface to the kernel is provided by https://crates.io/crates/hermit-abi. In the meantime parts of the interface is stabilized and we want to integrated it into libc. Unstable version will be still provided by hermit-abi.

Thanks for considering submitting a PR!

We have the contribution guide. Please read it if you're new here!

Here's a checklist for things that will be checked during review or continuous integration.

  • Edit corresponding file(s) under libc-test/semver when you add/remove item(s), e.g. edit linux.txt if you add an item to src/unix/linux_like/linux/mod.rs
  • Your PR doesn't contain any private or unstable values like *LAST or *MAX (see #3131)
  • If your PR has a breaking change, please clarify it
  • If your PR increments version number, it must NOT contain any other changes (otherwise a release could be delayed)
  • Make sure ci/style.sh passes
  • cd libc-test && cargo test
    • (this might fail on your env due to environment difference between your env and CI. Ignore failures if you are not sure)

Delete this line and everything above before opening your PR.

@mkroening mkroening self-assigned this Apr 29, 2024
@stlankes stlankes force-pushed the hermit branch 2 times, most recently from 9998f4b to 59b23e2 Compare April 29, 2024 14:04
HermitOS is a unikernel and its interface to the kernel is provided
by https://crates.io/crates/hermit-abi. In the meantime parts of the
interface is stabilized and we want to integrated it into libc.
Unstable version will be still provided by hermit-abi.
@stlankes stlankes merged commit 83dfcc1 into main Apr 29, 2024
33 checks passed
@stlankes
Copy link

@mkroening I was not able to use git correctly :-(

@stlankes
Copy link

I reopen the PR

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.

9 participants