RISC-V Proxy Kernel

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 6b501de8e8

cs250

device-files

enable-32bit

eos14-bringup

eos20

fdt

fix-fcvt-s-w

gnuconfig

hax

master

maxmem

new-sbi-disk

remap

rocc-enable

rv32-putstring

rvt-master

sbi-disk

sbi_emulation_for_perf

sbi_for_perf

travis-dev

archive-1.9.1

v1.0.0

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '6b501de8e8'

${ noResults }

riscv-pk/machine

History

Palmer Dabbelt ca24f3c904 Add the '--enable-print-device-tree' argument I'm trying to debug some device tree problems while booting Linux and figured it would be really nice to have access to the device tree while trying to debug these problems. I think this might be useful for lots of people, so I went ahead and cleaned up the code enough that it should actaully work in most cases.		9 years ago
..
atomic.h	Add spinlock_trylock routine; use it to implement spinlock_lock	10 years ago
bits.h	avoid non-standard predefined macros	9 years ago
emulation.c	Always write sbadaddr on trap redirection	9 years ago
emulation.h	Always write sbadaddr on trap redirection	9 years ago
encoding.h	FMV.X.S/FMV.S.X -> FMV.X.W/FMV.W.X	9 years ago
fdt.c	Add the '--enable-print-device-tree' argument	9 years ago
fdt.h	Add the '--enable-print-device-tree' argument	9 years ago
fp_asm.S	avoid non-standard predefined macros	9 years ago
fp_emulation.c	FMV.X.S/FMV.S.X -> FMV.X.W/FMV.W.X	9 years ago
fp_emulation.h	Emulate RVFC instructions	9 years ago
fp_ldst.c	Emulate RVFC instructions	9 years ago
htif.c	Don't block for acks on console writes	9 years ago
htif.h	minor HTIF cleanup + use WFI	9 years ago
machine.ac	Refactor pk, bbl, machine into separate libraries	10 years ago
machine.mk.in	Add a platform interface	9 years ago
mcall.h	WIP on SBI	9 years ago
mentry.S	Move DISABLED_HART_MASK to the platform	9 years ago
minit.c	Move DISABLED_HART_MASK to the platform	9 years ago
misaligned_ldst.c	Fix emulation of misaligned RVC loads/stores	9 years ago
mtrap.c	Add the '--enable-print-device-tree' argument	9 years ago
mtrap.h	Add the '--enable-print-device-tree' argument	9 years ago
muldiv_emulation.c	avoid non-standard predefined macros	9 years ago
uart.c	Use uint64_t, not uintptr_t, to represent FDT addresses/sizes	9 years ago
uart.h	uart: add physical device driver	9 years ago
unprivileged_memory.h	Fix RV32 compilation error	9 years ago
vm.h	Fix PK boot	9 years ago