Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Allow incorrect OS/ABI #148

Merged
merged 1 commit into from
Jul 27, 2022
Merged

Allow incorrect OS/ABI #148

merged 1 commit into from
Jul 27, 2022

Conversation

mkroening
Copy link
Member

Necessary for hermit-os/kernel#515 because of hermit-os/kernel#516.

@mkroening mkroening self-assigned this Jul 27, 2022
@mkroening
Copy link
Member Author

bors r+

@bors bors bot merged commit e91bb2f into hermit-os:master Jul 27, 2022
bors bot added a commit to hermit-os/kernel that referenced this pull request Jul 27, 2022
517: Fix integration tests r=mkroening a=mkroening

Closes #515.

Depends on hermit-os/loader#148 until #516 is fixed.

Co-authored-by: Martin Kröning <mkroening@posteo.net>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant