riscv-pk

Commit Graph

Author	SHA1	Message	Date
mtravaillard	b4abf92e99	Add dtb into .data section in linker script (#350 )	8 months ago
Gabriel L. Somlo	ff71b88278	configure: Add option to set physical memory start address For systems where physical memory is mapped to a start address different from 0x80000000, allow the default to be overridden using the --with-mem-start argument to the configure script. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>	7 years ago
Andrew Waterman	dca89b7e45	Page-align the writable data section For eventual PMP purposes	7 years ago
Andrew Waterman	474d787f1b	Clean up linker scripts a bit	7 years ago
Andrew Waterman	16476bd821	Properly license all nontrivial files	8 years ago
Palmer Dabbelt	d1849cb5e3	Remove the platform interface We now automatically detect everything that the platform interface used to be used for, so it's now obsolete!	9 years ago
Andrew Waterman	f6bca6e35b	Don't block for acks on console writes	9 years ago
Sagar Karandikar	f73dee6f2c	add htif section in linker script, with ALIGNs to prevent MMIO and data from being placed on same page (#32 )	10 years ago
Andrew Waterman	7389e46cd0	Move DRAM to high addresses	10 years ago
Andrew Waterman	b94c7a4b07	Refactor pk, bbl, machine into separate libraries Yuck.	10 years ago
Andrew Waterman	3dd00b900c	Simplify boot code	10 years ago
Andrew Waterman	3c0620321d	WIP on priv spec v1.9	10 years ago
Andrew Waterman	1a8572a47d	Upgrade to privileged architecture 1.7	11 years ago
Andrew Waterman	e554f30be8	Don't rely on mstatus.fs to determine FPU presence	11 years ago
Andrew Waterman	6517fe26a2	Update to new privileged spec	11 years ago
Andrew Waterman	5c86450130	work in progress on new supervisor spec	11 years ago
Andrew Waterman	19c8f69148	Relocate binaries that conflict with the pk's address space Of course, this is only possible for PIEs, e.g. the dynamic linker.	11 years ago
Andrew Waterman	b71e8ecfda	Assume pc-relative addressing	12 years ago
Andrew Waterman	e0e1662fc1	rename binary to pk; change argv handling the new fesvr approach makes argv[0] = pk, rather than user program's name	13 years ago
Andrew Waterman	8717517e04	Synced up PK with supervisor changes/asm syntax You must upgrade to the latest compiler and ISA simulator to build and run this version of the PK.	15 years ago
Andrew Waterman	0edaecc543	temporary undoing of renaming	15 years ago
Andrew Waterman	e63e4fbe87	Renamed packages	15 years ago
Andrew Waterman	0d603acb91	[pk] load pk at addr 0; user stack top = MEMSIZE	15 years ago
Andrew Waterman	783c0ec831	[pk] various PK cleanups/speedups	16 years ago
Andrew Waterman	664411d5e6	[opcodes, pk, sim, xcc] made jumps shorter and PC-relative	16 years ago
Andrew Waterman	79a84855df	[pk] Fixed broken PK build process (moved boot into a .c file)	16 years ago
Andrew Waterman	29cc0dc985	[pk,fesvr] improved proxykernel build system Now uses a modified MCPPBS. Add --host=riscv to configure path. Front-end server now just searches PATH for riscv-pk, so just install the pk to somewhere in your path.	16 years ago
Andrew Waterman	9c43984729	Reorganized directory structure Moved cross-compiler to /xcc/ rather than / Added ISA sim in /sim/ Added Proxy Kernel in /pk/ (to be cleaned up) Added opcode map to /opcodes/ (ditto) Added documentation to /doc/	16 years ago

10 Commits (master)