sdk/include/platform/sencha/platform-mailbox.hh

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

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