Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
/*
* Copyright 2024, DornerWorks
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
typedef void (*print_func_t)(int);
int fdt_generate_vuart_node(vm_t* vm, void* fdt, int gic_phandle);
int vm_install_pl011_vconsole(vm_t *vm, print_func_t func);
void pl011_vuart_handle_irq(int c);
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>

#define PL011_VUART_PLAT_SUPPORT
#define PL011_VUART_ADDR 0xdeadb000
#define PL011_VUART_SIZE 0x1000
#define PL011_VUART_SPEED 115200
#define PL011_VUART_PORT 0x0
#define PL011_VUART_IRQ_TYPE 0x0
#define PL011_VUART_IRQ_NUM 0xA1
#define PL011_VUART_IRQ_FLAGS 0x4
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
/*
* Copyright 2024, DornerWorks
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <sel4vmmplatsupport/arch/pl011_vuart.h>

#define PL011_VUART_PLAT_SUPPORT
#define PL011_VUART_ADDR 0xA000A000
#define PL011_VUART_SIZE 0x1000
#define PL011_VUART_SPEED 115200
#define PL011_VUART_PORT 0x0
#define PL011_VUART_IRQ_TYPE 0x0
#define PL011_VUART_IRQ_NUM 0xA1
#define PL011_VUART_IRQ_FLAGS 0x4
Loading