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.

Sign up for GitHub

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

Jump to bottom

multiboot2: properly type DST tags #134

Merged
merged 2 commits into from
May 19, 2023
Merged

multiboot2: properly type DST tags #134

merged 2 commits into from
May 19, 2023

Commits on May 16, 2023

  1. multiboot2: use dst for tags where applicable 

    This commit transforms a few tags where applicable to DSTs. This better
fits into the Rust type system and makes a few things easier, such as
parsing the cmdline string from the command line tag.

Depending on how users used the tags, this change is not even breaking.
Additionally, there is now a public trait which allows custom tag users
to also benefit from DSTs.
    @phip1611
    phip1611 committed May 16, 2023
    Configuration menu
    Copy the full SHA
    dedb4f6 View commit details
    Browse the repository at this point in the history

  2. ci: fix nightly style job

    @phip1611
    phip1611 committed May 16, 2023
    Configuration menu
    Copy the full SHA
    f452b63 View commit details
    Browse the repository at this point in the history