1/* 2 * Copyright 2017, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 * See "LICENSE_BSD2.txt" for details. 9 * 10 * @TAG(DATA61_BSD) 11 */ 12 13#pragma once 14 15#define UART0_PADDR 0xF8015000 16#define UART1_PADDR 0xF7111000 17#define UART2_PADDR 0xF7112000 18#define UART3_PADDR 0xF7113000 19#define UART4_PADDR 0xF7114000 20 21#define UART0_IRQ 68 22#define UART1_IRQ 69 23#define UART2_IRQ 70 24#define UART3_IRQ 71 25#define UART4_IRQ 72 26 27enum chardev_id { 28 DM_UART0, 29 DM_UART1, 30 DM_UART2, 31 DM_UART3, 32 DM_UART4, 33 /* Aliases */ 34 PS_SERIAL0 = DM_UART0, 35 PS_SERIAL1 = DM_UART1, 36 PS_SERIAL2 = DM_UART2, 37 PS_SERIAL3 = DM_UART3, 38 PS_SERIAL4 = DM_UART4, 39 /* defaults */ 40 PS_SERIAL_DEFAULT = DM_UART0 41}; 42 43#define DEFAULT_SERIAL_PADDR UART0_PADDR 44#define DEFAULT_SERIAL_INTERRUPT UART0_IRQ 45