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

Use custom targets for kernel #395

Merged
merged 1 commit into from
Mar 24, 2022
Merged

Conversation

mkroening
Copy link
Member

Closes hermit-os/hermit-rs#197 (comment).

This puts our kernel targets into json files. This is now possible since we do not distribute the kernel via crates.io anymore.

Copy link
Contributor

@stlankes stlankes left a comment

Choose a reason for hiding this comment

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

bors r+

@bors bors bot merged commit 6e28975 into hermit-os:master Mar 24, 2022
@mkroening mkroening deleted the custom-targets branch March 25, 2022 10:29
mkroening added a commit to mkroening/rust that referenced this pull request Mar 25, 2022
RustyHermit now maintains custom json targets, which are distributed with the kernel. [1]

[1]: hermit-os/kernel#395
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Mar 26, 2022
…iplett

Remove hermitkernel targets

RustyHermit now maintains custom json targets, which are distributed with the kernel: hermit-os/kernel#395

See hermit-os/hermit-rs#197 (comment)
CC: `@stlankes,` `@bstrie`
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Mar 26, 2022
…iplett

Remove hermitkernel targets

RustyHermit now maintains custom json targets, which are distributed with the kernel: hermit-os/kernel#395

See hermit-os/hermit-rs#197 (comment)
CC: ``@stlankes,`` ``@bstrie``
bors added a commit to rust-lang-ci/rust that referenced this pull request Mar 26, 2022
…lett

Remove hermitkernel targets

RustyHermit now maintains custom json targets, which are distributed with the kernel: hermit-os/kernel#395

See hermit-os/hermit-rs#197 (comment)
CC: `@stlankes,` `@bstrie`
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.

Discussion on x86_64-unknown-none-hermitkernel target
2 participants