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

Update seL4, Microkit, and CapDL to their recently released versions #159

Merged
merged 10 commits into from
Jul 1, 2024
Merged

Update seL4, Microkit, and CapDL to their recently released versions #159

merged 10 commits into from
Jul 1, 2024

Commits on Jul 1, 2024

  1. nix: Fix style 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    069dda2 View commit details
    Browse the repository at this point in the history

  2. nix: Specify QEMU_MEMORY 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    e5a9f7c View commit details
    Browse the repository at this point in the history

  3. Modify ring patch to not change features 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    2952098 View commit details
    Browse the repository at this point in the history

  4. Bump remote seL4 and Microkit sources 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    aa1aabd View commit details
    Browse the repository at this point in the history

  5. nix: Bump remote CapDL source 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    10dd6a8 View commit details
    Browse the repository at this point in the history

  6. crates/sel4: Remove unecessary object API XML env vars 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    bba9617 View commit details
    Browse the repository at this point in the history

  7. crates/sel4-microkit: Handler::fault may not return msg_info 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    d0c8f3e View commit details
    Browse the repository at this point in the history

  8. crates/sel4-microkit: Correct MAX_CHANNELS 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    08ee65b View commit details
    Browse the repository at this point in the history

  9. crates/sel4-microkit: Rename ProtectionDomain -> Child 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    1827d09 View commit details
    Browse the repository at this point in the history

  10. nix: Microkit requires EL2 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    8600a31 View commit details
    Browse the repository at this point in the history