1 /*
2  * Copyright (c) 2015 Stefan Kristiansson
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 #include <lk/reg.h>
11 
12 /* timer */
13 #define TIMER_CLOCK_FREQ    50000000
14 
15 /* uart */
16 #define UART1_BASE          0x90000000
17 #define UART1_CLOCK_FREQ    50000000
18 
19 /* interrupts */
20 #define MAX_INT             32
21