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.

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

feat(handle_t): redef handle_t as pointer #16

Merged
merged 2 commits into from
Aug 24, 2022

Commits on Jul 28, 2022

  1. Configuration menu
    Copy the full SHA
    2462c23 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2022

  1. feat(handle_t): redef handle_t as pointer

    * Add a "HANDLE_TYPE_IS_PTR" compile flag that
    redefines handle_t as ptr (instead of int32).
    
    * Create a local copy of storage/ipc.c in trusty_mod directory to allow handle_t to be treated as an opaque object.
    
    * Create a local include dir with trusty_ipc.h for the actual handle_t is ptr redef.
    
    * Run port_create_destroy_harness and msg_buffer_harness with redefined handle_t on
    local ipc.c
    
    * Add handle is ptr jobs to CI
    
    Known issues/Needs investigation:
    
    The following issues need to be fixed but not blocking the PR since the infrastructure changes are quite big itself.
    
    * msg_buffer_harness.c fails in vac mode with handle_t as ptr. It seems to be failing at head (added to CI blacklist) so this PR doesn't make the situation worse.
    priyasiddharth committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    fe7d382 View commit details
    Browse the repository at this point in the history