/* * Copyright 2013 Jean-Christophe PLAGNIOL-VILLARD <plagniol@jcrosoft.com> * * GPLv2 only */ #ifndef __MACH_DEBUG_LL_H__ #define __MACH_DEBUG_LL_H__ #define DEBUG_LL_UART_ADDR 0xfff36000 #include <debug_ll/pl011.h> #endif