embox
1package embox.driver.serial
2
3module pl011 {
4/* FIXME Set UARTCLK to 0 since it is not used in many templates */
5option number uartclk=0
6option boolean use_bconf=false
7
8source "pl011.c"
9
10depends embox.driver.serial.core
11}
12
13module pl011_diag extends embox.driver.serial.diag {
14option number base_addr
15option number baud_rate=115200
16
17source "pl011_diag.c"
18
19depends pl011
20depends embox.driver.periph_memory
21}
22
23module pl011_ttyS0 {
24option number base_addr
25option number irq_num
26option number baud_rate=115200
27
28source "pl011_ttys0.c"
29
30depends pl011
31depends embox.driver.periph_memory
32}
33
34module pl011_ttyS1 {
35option number base_addr
36option number irq_num
37option number baud_rate=115200
38
39source "pl011_ttys1.c"
40
41depends pl011
42depends embox.driver.periph_memory
43}
44