main.camkes

/*
 * 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;
    }
}