coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
uart.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <types.h>
4
#include <
console/uart.h
>
5
6
uintptr_t
uart_platform_base
(
unsigned
int
idx)
7
{
8
return
(
uintptr_t
) 0x02100000;
9
}
uart.h
uart_platform_base
uintptr_t uart_platform_base(unsigned int idx)
Definition:
uart.c:8
uintptr_t
unsigned long uintptr_t
Definition:
stdint.h:21
src
mainboard
emulation
spike-riscv
uart.c
Generated by
1.9.1