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

Unbox mutexes, condvars and rwlocks on hermit #88002

Merged
merged 4 commits into from
Aug 19, 2021
Merged

Unbox mutexes, condvars and rwlocks on hermit #88002

merged 4 commits into from
Aug 19, 2021

Commits on Aug 13, 2021

  1. Don't put hermit rwlocks in a box. 

    Hermit rwlocks are movable.
    @mkroening @stlankes
    mkroening authored and stlankes committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    fe56e89 View commit details
    Browse the repository at this point in the history

  2. Don't put hermit condvars in a box. 

    Hermit condvars are movable.
    @mkroening @stlankes
    mkroening authored and stlankes committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    f45ebe4 View commit details
    Browse the repository at this point in the history

  3. Don't put hermit mutexes in a box. 

    Hermit mutexes are movable.
    @mkroening @stlankes
    mkroening authored and stlankes committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    fffa88e View commit details
    Browse the repository at this point in the history

  4. switch to the latest version of hermit-abi

    @stlankes
    stlankes committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    bbb6cb8 View commit details
    Browse the repository at this point in the history