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

libsel4simple-default,riscv: implement irq_trigger #78

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

libsel4simple-default,riscv: implement irq_trigger #78

wants to merge 2 commits into from

Commits on Jun 11, 2024

  1. libsel4simple-default,riscv: implement irq_trigger 

    Wire up simple->irq_trigger to seL4_IRQControl_GetTrigger on risc-v.
This allows risc-v drivers in libplatsupport to register edge-triggered
interrupts.

Signed-off-by: Jimmy Brush <[email protected]>
    @canarysnort01 @Ivan-Velickovic
    canarysnort01 authored and Ivan-Velickovic committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    25e0687 View commit details
    Browse the repository at this point in the history

  2. trivial: fix whitespace 

    Signed-off-by: Jimmy Brush <[email protected]>
    @canarysnort01 @Ivan-Velickovic
    canarysnort01 authored and Ivan-Velickovic committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    a3a136f View commit details
    Browse the repository at this point in the history