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 specs to use semi-lazy FPU switching #819

Open
wants to merge 5 commits into
base: explicit_fpu
Choose a base branch
from
Open

Update specs to use semi-lazy FPU switching #819

wants to merge 5 commits into from

Commits on Sep 27, 2024

  1. aarch64 abstract+machine: update abstract to use semi-lazy FPU switching 

    This includes extending the machine interface with new ops, adding the current
owner of the FPU state to the kernel state, and adding the new
seL4_TCB_Set_Flags syscall and related functions.

Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
    @corlewis
    corlewis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    1a10f42 View commit details
    Browse the repository at this point in the history

  2. aarch64 haskell+design: update exec spec to use semi-lazy FPU switching 

    Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
    @corlewis
    corlewis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b7f740d View commit details
    Browse the repository at this point in the history

  3. x64 spec: update specifications for semi-lazy FPU changes 

    Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
    @corlewis
    corlewis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    04816a1 View commit details
    Browse the repository at this point in the history

  4. haskell-translator: convert unit types in type aliases 

    Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
    @corlewis
    corlewis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    eee9aa4 View commit details
    Browse the repository at this point in the history

  5. arm+arm-hyp+riscv64 spec: update other arches for semi-lazy FPU changes 

    Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
    @corlewis
    corlewis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    c45b235 View commit details
    Browse the repository at this point in the history