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

Microkit x86 #244

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Microkit x86 #244

wants to merge 11 commits into from

Commits on Oct 31, 2024

  1. build_sdk.py: add support for x86_64 boards 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c2e2727 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. libmicrokit: add x86_64 support 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    5bbbf8c View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. monitor: add x86_64 support 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    d76ed14 View commit details
    Browse the repository at this point in the history

  2. loader: add x86_64 support 

    The boot protocol is sufficiently different on x86 compared to ARM and
RISC-V to justify making a custom loader.

Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    d1f6e2b View commit details
    Browse the repository at this point in the history

  3. tool/microkit: add x86_64 support 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    2cc8628 View commit details
    Browse the repository at this point in the history

  4. Add support for x86 I/O ports 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    7af1f33 View commit details
    Browse the repository at this point in the history

  5. Add the qemu_virt_x86_64 example board 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    bfd6bb5 View commit details
    Browse the repository at this point in the history

  6. Add the ODROID H2+ x86 board 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    df06243 View commit details
    Browse the repository at this point in the history

  7. Add the list of untyped to the report 

    This list can be quite handy when porting to a new board.

Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    b3324c4 View commit details
    Browse the repository at this point in the history

  8. README.md: add the x86_64 boards 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    17e75e6 View commit details
    Browse the repository at this point in the history

  9. docs/manual.md: add the x86 specifics 

    Signed-off-by: Mathieu Mirmont <[email protected]>
    @matneutrality
    matneutrality committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    e159a1a View commit details
    Browse the repository at this point in the history