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

make debug_print_bootinfo() a bit more verbose #51

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

make debug_print_bootinfo() a bit more verbose #51

wants to merge 6 commits into from
+108 −48

Commits on Apr 15, 2024

  1. libsel4utils: add sel4utils_set_arg0 for RISC-V 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    2d73fd0 View commit details
    Browse the repository at this point in the history

  2. style: remove empty line 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    a7d6613 View commit details
    Browse the repository at this point in the history

  3. use proper printf format specifiers 

    Also adds a helper function for printing the slot region.

Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    3e78cd2 View commit details
    Browse the repository at this point in the history

  4. print slots for extra boot info pages 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    52fb382 View commit details
    Browse the repository at this point in the history

  5. print more information and memory map 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    4c279fe View commit details
    Browse the repository at this point in the history

  6. libsel4utils: use proper types for printing 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    39bb115 View commit details
    Browse the repository at this point in the history