mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-04-28 02:40:40 +00:00
b099005951
When a CAmkES component lacks an outbound connection to send log msgs there will be no logger_log symbol. Use a weak ref here to handle that without resorting to a feature or similar. Mark logger connections as "maybe" so they are optional. Change-Id: I6ecd939014d26a612d115741fd2ac673afa40857 GitOrigin-RevId: 0b1bf2611cbb628500cae37889c6547a996d50e9
30 lines
560 B
Plaintext
30 lines
560 B
Plaintext
/*
|
|
* CAmkES component for accessing Sparrow's SMC -> SEC mailbox.
|
|
*
|
|
* Copyright 2021, Google LLC
|
|
* Apache License 2.0
|
|
*/
|
|
|
|
import <MailboxInterface.camkes>;
|
|
import <LoggerInterface.camkes>;
|
|
|
|
component MailboxDriver {
|
|
provides MailboxAPI api;
|
|
|
|
// Mailbox registers
|
|
dataport Buf mailbox_mmio;
|
|
|
|
// Global mailbox lock
|
|
has mutex api_mutex;
|
|
|
|
// Mailbox arrival semaphore
|
|
has semaphore rx_semaphore;
|
|
|
|
// Mailbox interrupts
|
|
consumes Interrupt wtirq;
|
|
consumes Interrupt rtirq;
|
|
consumes Interrupt eirq;
|
|
|
|
maybe uses LoggerInterface logger;
|
|
}
|