mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-19 01:44:40 +00:00
MailboxDriver: purge unused stuff
Looks like stuff from when the mailbox test code was in the driver got left behind; remove it. Change-Id: I379a58e1fd46895436ed49f780e643efbed81aea GitOrigin-RevId: 1783642a34ed4f23e7d6703e5e6d041785c1ee4a
This commit is contained in:
@@ -6,7 +6,6 @@
|
||||
*/
|
||||
|
||||
import <MailboxInterface.camkes>;
|
||||
import <MemoryInterface.camkes>;
|
||||
import <LoggerInterface.camkes>;
|
||||
|
||||
component MailboxDriver {
|
||||
@@ -26,8 +25,5 @@ component MailboxDriver {
|
||||
consumes Interrupt rtirq;
|
||||
consumes Interrupt eirq;
|
||||
|
||||
// Enable KataOS CAmkES support.
|
||||
attribute int kataos = true;
|
||||
|
||||
uses LoggerInterface logger;
|
||||
}
|
||||
|
@@ -10,7 +10,6 @@ default = []
|
||||
kata-os-common = { path = "../../kata-os-common" }
|
||||
log = "0.4"
|
||||
cty = "0.2.1"
|
||||
kata-memory-interface = { path = "../../MemoryManager/kata-memory-interface" }
|
||||
|
||||
[lib]
|
||||
name = "mailbox_driver"
|
||||
|
@@ -4,7 +4,6 @@
|
||||
#![allow(non_snake_case)]
|
||||
|
||||
use kata_os_common::logger::KataLogger;
|
||||
use kata_os_common::sel4_sys::seL4_CPtr;
|
||||
use log::{error, trace};
|
||||
|
||||
//------------------------------------------------------------------------------
|
||||
@@ -78,10 +77,6 @@ extern "C" {
|
||||
fn wtirq_acknowledge() -> u32;
|
||||
fn rtirq_acknowledge() -> u32;
|
||||
fn eirq_acknowledge() -> u32;
|
||||
|
||||
// Enable KataOS CAmkES support.
|
||||
static SELF_CNODE: seL4_CPtr;
|
||||
static SELF_VSPACE_ROOT: seL4_CPtr;
|
||||
}
|
||||
|
||||
//------------------------------------------------------------------------------
|
||||
|
Reference in New Issue
Block a user