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