rocket-tools/riscv-pk.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author	Files	Lines
2016-03-09	Refactor pk, bbl, machine into separate libraries	Andrew Waterman	1	-26/+4
	Yuck.
2016-03-05	Disentangle PK and BBL a bit	Andrew Waterman	1	-0/+2

2016-03-04	Begin refactoring emulation code	Andrew Waterman	1	-3/+12

2016-03-01	Use RV configuration string instead of device tree	Andrew Waterman	1	-1/+1

2015-11-12	Read and use devicetree -- THIS BREAKS ROCKET FOR NOW	Andrew Waterman	1	-0/+1

2015-05-10	Split pk functionality into pk and bbl	Andrew Waterman	1	-1/+2
	pk is now an AEE only (i.e. it can only execute user programs). bbl is now an SEE only (i.e. it can only host kernels).
2015-05-02	Add ASCII art boot logo	Andrew Waterman	1	-0/+1
	It's only printed when booting the Linux kernel. Feel free to improve the quality of the ASCII art. It looks like this when rendered: vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv vvvvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvvvv rr rrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrr rrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrr rrrrrrrr vvvvvvvvvvvvvvvvvv rrrrrrrr rrrrrrrrrr vvvvvvvvvvvvvv rrrrrrrrrr rrrrrrrrrrrr vvvvvvvvvv rrrrrrrrrrrr rrrrrrrrrrrrrr vvvvvv rrrrrrrrrrrrrr rrrrrrrrrrrrrrrr vv rrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr INSTRUCTION SETS WANT TO BE FREE
2015-03-12	Update to new privileged spec	Andrew Waterman	1	-6/+8

2014-10-26	Don't rely on the C library	Andrew Waterman	1	-0/+1

2013-11-25	Update to new privileged ISA	Andrew Waterman	1	-2/+1

2013-07-13	Support Linux ABI and (optionally) virtual memory	Andrew Waterman	1	-0/+3

2013-05-23	use string.h functions in newlib (-lc)	Andrew Waterman	1	-2/+0

2013-01-25	rename binary to pk; change argv handling	Andrew Waterman	1	-2/+2
	the new fesvr approach makes argv[0] = pk, rather than user program's name
2012-09-07	Added rough emulation support for div/rem/mul.	Christopher Celio	1	-0/+2

2011-06-19	temporary undoing of renaming	Andrew Waterman	1	-0/+33

2011-06-19	Renamed packages	Andrew Waterman	1	-33/+0

2011-04-15	[pk] load pk at addr 0; user stack top = MEMSIZE	Andrew Waterman	1	-1/+1

2011-04-08	[pk,fesvr] pk now loads elfs itself	Andrew Waterman	1	-0/+2
	this allows it to detect 32b binaries
2010-11-21	[pk] various PK cleanups/speedups	Andrew Waterman	1	-0/+4

2010-10-15	[pk, sim] added FPU emulation support to proxy kernel	Andrew Waterman	1	-1/+9

2010-08-22	[pk] Fixed broken PK build process (moved boot into a .c file)	Andrew Waterman	1	-1/+0

2010-08-18	[pk,fesvr] improved proxykernel build system	Andrew Waterman	1	-0/+20
	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.