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

Improve API clarity and docs #207

Merged
merged 18 commits into from
Oct 7, 2024
Merged

Improve API clarity and docs #207

merged 18 commits into from
Oct 7, 2024

Commits on Oct 7, 2024

  1. crates/sel4-root-task: Add Debug bound to Termination 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    9ecc6ab View commit details
    Browse the repository at this point in the history

  2. crates/sel4-root-task: Make debug_put_char registration weak 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    d64e5f1 View commit details
    Browse the repository at this point in the history

  3. Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    51fc945 View commit details
    Browse the repository at this point in the history

  4. crates/sel4: Automate docs for fault newtypes 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    4ca2c7c View commit details
    Browse the repository at this point in the history

  5. crates/sel4: Rename UnspecifiedFrame -> UnspecifiedPage 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    b45113b View commit details
    Browse the repository at this point in the history

  6. crates/sel4: Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    2d2bf25 View commit details
    Browse the repository at this point in the history

  7. crates/sel4: Rename FIRST_LEVEL_WITH_FRAME_ENTRIES -> HIGHEST_LEVEL_W… 

    …ITH_PAGE_ENTRIES

Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    975b74e View commit details
    Browse the repository at this point in the history

  8. crates/sel4: Remove CNode::save_caller 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    053d56e View commit details
    Browse the repository at this point in the history

  9. crates/sel4: Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    6f5ff91 View commit details
    Browse the repository at this point in the history

  10. crates/sel4: Add AbsoluteCPtr::new 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    daa5011 View commit details
    Browse the repository at this point in the history

  11. crates/sel4: Rename relative_self -> absolute_cptr_for_self 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    16f0b20 View commit details
    Browse the repository at this point in the history

  12. crates/sel4: Rename relative_bits_with_depth -> absolute_cptr_from_bi… 

    …ts_with_depth

Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    201858b View commit details
    Browse the repository at this point in the history

  13. crates/sel4: Rename relative -> absolute_cptr 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    cb8d5f5 View commit details
    Browse the repository at this point in the history

  14. crates/sel4-capdl-initializer: Improve language 

    Rename *relative_cptr* -> *absolute_cptr*

Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    914da47 View commit details
    Browse the repository at this point in the history

  15. crates/sel4: Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    48a814b View commit details
    Browse the repository at this point in the history

  16. crates/sel4: Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    032ef15 View commit details
    Browse the repository at this point in the history

  17. Rename PlaceHolder -> Placeholder 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    01920ba View commit details
    Browse the repository at this point in the history

  18. crates/sel4-panicking/env: Improve rustdoc 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    774815b View commit details
    Browse the repository at this point in the history