1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7import <std_connector.camkes>;
8
9import "interfaces/uart.idl4";
10import "components/Driver/Driver.camkes";
11import "components/Client/Client.camkes";
12
13component UART {
14    hardware;
15    dataport Buf mem;
16    emits DataAvailable irq;
17}
18
19assembly {
20    composition {
21        component UART uart;
22        component Driver drv;
23        component Client client;
24
25        connection seL4HardwareInterrupt irq(from uart.irq, to drv.irq);
26        connection seL4HardwareMMIO uart_mem(from drv.mem, to uart.mem);
27        connection seL4RPCCall uart_inf(from client.uart, to drv.uart);
28    }
29
30    configuration {
31        uart.mem_paddr = 0x021E8000;
32        uart.mem_size = 0x1000;
33        uart.irq_irq_number = 59;
34
35	random.ID = 1;
36    }
37}
38