62 lines
1.6 KiB
Plaintext
62 lines
1.6 KiB
Plaintext
/*
|
|
* Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#include <configurations/vm.h>
|
|
|
|
import <std_connector.camkes>;
|
|
import <global-connectors.camkes>;
|
|
import <seL4VMDTBPassthrough.idl4>;
|
|
import <FileServerInterface.camkes>;
|
|
import <FileServer/FileServer.camkes>;
|
|
import <SerialServer/SerialServer.camkes>;
|
|
import <TimeServer/TimeServer.camkes>;
|
|
import <vm-connectors.camkes>;
|
|
import <devices.camkes>;
|
|
|
|
|
|
component LoggingFileserver {
|
|
control;
|
|
consumes Ready ready;
|
|
emits Done done;
|
|
dataport Buf(4096) dest;
|
|
}
|
|
|
|
component VM {
|
|
VM_INIT_DEF()
|
|
dataport Buf(4096) crossvm_dp_0;
|
|
emits Ready ready;
|
|
consumes Done done;
|
|
}
|
|
|
|
|
|
|
|
assembly {
|
|
composition {
|
|
VM_GENERAL_COMPOSITION_DEF()
|
|
VM_COMPOSITION_DEF(0)
|
|
connection seL4VMDTBPassthrough vm_dtb(from vm0.dtb_self, to vm0.dtb);
|
|
|
|
|
|
component LoggingFileserver crossvm_init;
|
|
|
|
connection seL4Notification event_conn_0(from vm0.ready,
|
|
to crossvm_init.ready);
|
|
connection seL4GlobalAsynch event_conn_1(from crossvm_init.done,
|
|
to vm0.done);
|
|
connection seL4SharedDataWithCaps cross_vm_conn_0(from crossvm_init.dest,
|
|
to vm0.crossvm_dp_0);
|
|
}
|
|
configuration {
|
|
VM_GENERAL_CONFIGURATION_DEF()
|
|
VM_CONFIGURATION_DEF(0)
|
|
|
|
vm0.num_extra_frame_caps = 0;
|
|
vm0.extra_frame_map_address = 0;
|
|
vm0.cnode_size_bits = 23;
|
|
vm0.simple_untyped24_pool = 12;
|
|
}
|
|
}
|