#pragma once
#include <compartment-macros.h>
#include <interrupt.h>
#include <riscvreg.h>

DECLARE_AND_DEFINE_INTERRUPT_CAPABILITY(mailboxRtInterruptCapability,
                                        InterruptName::MailboxRtInterrupt,
                                        true,
                                        true)