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 0xE0000000 16#define UART1_PADDR 0xE0001000 17 18#define UART0_IRQ 59 19#define UART1_IRQ 82 20 21enum chardev_id { 22 ZYNQ_UART0, 23 ZYNQ_UART1, 24 /* Aliases */ 25 PS_SERIAL0 = ZYNQ_UART0, 26 PS_SERIAL1 = ZYNQ_UART1, 27 /* defaults */ 28 PS_SERIAL_DEFAULT = ZYNQ_UART1 29}; 30 31#define DEFAULT_SERIAL_PADDR UART1_PADDR 32#define DEFAULT_SERIAL_INTERRUPT UART1_IRQ 33