1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
|
/*
* SPDX-License-Identifier: BSD-2-Clause
*
* Copyright (c) 2019 Western Digital Corporation or its affiliates.
*/
#include <sbi/riscv_asm.h>
#include <sbi/riscv_encoding.h>
#include <sbi/sbi_const.h>
#include <sbi/sbi_platform.h>
/*
* Include these files as needed.
* See config.mk PLATFORM_xxx configuration parameters.
*/
#include <sbi_utils/irqchip/plic.h>
#include <sbi_utils/serial/uart8250.h>
#include <sbi_utils/sys/clint.h>
#define PLATFORM_PLIC_ADDR 0xc000000
#define PLATFORM_PLIC_NUM_SOURCES 128
#define PLATFORM_HART_COUNT 4
#define PLATFORM_CLINT_ADDR 0x2000000
#define PLATFORM_UART_ADDR 0x09000000
#define PLATFORM_UART_INPUT_FREQ 10000000
#define PLATFORM_UART_BAUDRATE 115200
static struct plic_data plic = {
.addr = PLATFORM_PLIC_ADDR,
.num_src = PLATFORM_PLIC_NUM_SOURCES,
};
static struct clint_data clint = {
.addr = PLATFORM_CLINT_ADDR,
.first_hartid = 0,
.hart_count = PLATFORM_HART_COUNT,
.has_64bit_mmio = TRUE,
};
/*
* Platform early initialization.
*/
static int platform_early_init(bool cold_boot)
{
return 0;
}
/*
* Platform final initialization.
*/
static int platform_final_init(bool cold_boot)
{
return 0;
}
/*
* Initialize the platform console.
*/
static int platform_console_init(void)
{
/* Example if the generic UART8250 driver is used */
return uart8250_init(PLATFORM_UART_ADDR, PLATFORM_UART_INPUT_FREQ,
PLATFORM_UART_BAUDRATE, 0, 1);
}
/*
* Write a character to the platform console output.
*/
static void platform_console_putc(char ch)
{
/* Example if the generic UART8250 driver is used */
uart8250_putc(ch);
}
/*
* Read a character from the platform console input.
*/
static int platform_console_getc(void)
{
return uart8250_getc();
}
/*
* Initialize the platform interrupt controller for current HART.
*/
static int platform_irqchip_init(bool cold_boot)
{
u32 hartid = current_hartid();
int ret;
/* Example if the generic PLIC driver is used */
if (cold_boot) {
ret = plic_cold_irqchip_init(&plic);
if (ret)
return ret;
}
return plic_warm_irqchip_init(&plic, 2 * hartid, 2 * hartid + 1);
}
/*
* Initialize IPI for current HART.
*/
static int platform_ipi_init(bool cold_boot)
{
int ret;
/* Example if the generic CLINT driver is used */
if (cold_boot) {
ret = clint_cold_ipi_init(&clint, NULL);
if (ret)
return ret;
}
return clint_warm_ipi_init();
}
/*
* Send IPI to a target HART
*/
static void platform_ipi_send(u32 target_hart)
{
/* Example if the generic CLINT driver is used */
clint_ipi_send(target_hart);
}
/*
* Clear IPI for a target HART.
*/
static void platform_ipi_clear(u32 target_hart)
{
/* Example if the generic CLINT driver is used */
clint_ipi_clear(target_hart);
}
/*
* Initialize platform timer for current HART.
*/
static int platform_timer_init(bool cold_boot)
{
int ret;
/* Example if the generic CLINT driver is used */
if (cold_boot) {
ret = clint_cold_timer_init(&clint);
if (ret)
return ret;
}
return clint_warm_timer_init();
}
/*
* Get platform timer value.
*/
static u64 platform_timer_value(void)
{
/* Example if the generic CLINT driver is used */
return clint_timer_value();
}
/*
* Start platform timer event for current HART.
*/
static void platform_timer_event_start(u64 next_event)
{
/* Example if the generic CLINT driver is used */
clint_timer_event_start(next_event);
}
/*
* Stop platform timer event for current HART.
*/
static void platform_timer_event_stop(void)
{
/* Example if the generic CLINT driver is used */
clint_timer_event_stop();
}
/*
* Reset the platform.
*/
static int platform_system_reset(u32 type)
{
return 0;
}
/*
* Platform descriptor.
*/
const struct sbi_platform_operations platform_ops = {
.early_init = platform_early_init,
.final_init = platform_final_init,
.console_putc = platform_console_putc,
.console_getc = platform_console_getc,
.console_init = platform_console_init,
.irqchip_init = platform_irqchip_init,
.ipi_send = platform_ipi_send,
.ipi_clear = platform_ipi_clear,
.ipi_init = platform_ipi_init,
.timer_value = platform_timer_value,
.timer_event_stop = platform_timer_event_stop,
.timer_event_start = platform_timer_event_start,
.timer_init = platform_timer_init,
.system_reset = platform_system_reset
};
const struct sbi_platform platform = {
.opensbi_version = OPENSBI_VERSION,
.platform_version = SBI_PLATFORM_VERSION(0x0, 0x00),
.name = "platform-name",
.features = SBI_PLATFORM_DEFAULT_FEATURES,
.hart_count = 1,
.hart_stack_size = SBI_PLATFORM_DEFAULT_HART_STACK_SIZE,
.platform_ops_addr = (unsigned long)&platform_ops
};
|