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

Age	Commit message (Collapse)	Author	Files	Lines
2017-11-03	Remove the platform interface	Palmer Dabbelt	1	-7/+1
	We now automatically detect everything that the platform interface used to be used for, so it's now obsolete!
2017-08-03	Add the '--enable-print-device-tree' argument	Palmer Dabbelt	1	-0/+5
	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.
2017-08-02	Add the '--with-platform' argument and the sifive-vc707-devkit platform	Palmer Dabbelt	1	-0/+6
	Since we don't have a coherent platform specification right now, we've ended up with slightly different platforms between spike and our FPGA dev kit. For now I've added an autoconf option that allows users to select the relevant platform.
2017-08-02	Add a platform interface	Palmer Dabbelt	1	-1/+1
	SiFive's pk fork is the second one I've had to maintain, and it's a huge pain because people keep just leaving changes all over the tree. I want to introduce an interface that the platform-specific details can live behind so I don't have to keep doing these painful merges.
2017-02-20	Don't block for acks on console writes	Andrew Waterman	1	-0/+2

2016-07-16	Support 32bit build (#27)	Prashanth Mundkur	1	-3/+32
	* Support configuration for a 32-bit build. * Regenerate configure.
2016-07-08	Remove vestigial configure search for riscv-isa-run/spike	Andrew Waterman	1	-1/+0

2016-03-09	Refactor pk, bbl, machine into separate libraries	Andrew Waterman	1	-1/+1
	Yuck.
2015-05-10	Fix build using glibc toolchain	Andrew Waterman	1	-1/+1

2015-03-12	Update to new privileged spec	Andrew Waterman	1	-2/+3

2015-01-02	Don't automatically set --host	Andrew Waterman	1	-2/+0

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

2014-09-11	Don't assume null pointers can't be dereferenced	Andrew Waterman	1	-1/+1
	This option breaks vm_init's access to word 0 to obtain the memory capacity.
2014-09-11	Disable pedantic warning under gcc 4.9.1	Andrew Waterman	1	-1/+1

2013-07-01	Fixed -lgcc bug in configure.ac (needed for -m32)	Christopher Celio	1	-2/+1

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

2013-01-25	rename binary to pk; change argv handling	Andrew Waterman	1	-1/+1
	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	-1/+1

2011-06-19	configure argument --host=riscv is now impliedcs250	Andrew Waterman	1	-0/+2

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

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

2011-03-24	[pk] 32bit kernel + FPU emulation now compiles	Andrew Waterman	1	-0/+1

2010-11-21	[opcodes, pk, sim, xcc] made jumps shorter and PC-relative	Andrew Waterman	1	-1/+1

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

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