Skip to content

Add UEFI OS#76

Closed
lorenz wants to merge 1 commit into
bazelbuild:mainfrom
monogon:os-uefi
Closed

Add UEFI OS#76
lorenz wants to merge 1 commit into
bazelbuild:mainfrom
monogon:os-uefi

Conversation

@lorenz

@lorenz lorenz commented Aug 29, 2023

Copy link
Copy Markdown

This adds UEFI as an OS. It specifies pretty much everything in order to qualify for an OS (ABI, entrypoint, standard interfaces) and there are compiler targets for it (for example Rust's x86_64-unknown-uefi), so I think it makes sense to have it as an OS in platforms.

@aiuto

aiuto commented Oct 16, 2023

Copy link
Copy Markdown
Contributor

Sorry I lost track of this. Can you git pull and push again to bring the branches in line. I seem unable to merge it right now.

@lorenz

lorenz commented Oct 16, 2023

Copy link
Copy Markdown
Author

@aiuto Rebased onto main

@lorenz
lorenz requested a review from aiuto October 16, 2023 16:35
@aiuto

aiuto commented Oct 23, 2023

Copy link
Copy Markdown
Contributor

Sigh..... I don't know what is going on with github here. It just keeps saying your branch is out of date with main.
I'll try a command line merge.

@fionera

fionera commented Jan 11, 2024

Copy link
Copy Markdown

Any update here? 😄

@mempler

mempler commented Mar 1, 2024

Copy link
Copy Markdown

would also love updates to this!

@amari amari mentioned this pull request Jul 13, 2024
@lorenz lorenz closed this Jan 9, 2025
github-merge-queue Bot pushed a commit to bazelbuild/rules_rust that referenced this pull request Jan 10, 2025
Requires bazelbuild/platforms#76

---------

Co-authored-by: Tim Windelschmidt <[email protected]>
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.

4 participants