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

Age	Commit message (Collapse)	Author	Files	Lines
2018-07-09	Properly license all nontrivial files	Andrew Waterman	1	-0/+2

2018-06-21	Replace the --enable-32bit option by --with-arch	Zong Li	1	-3/+21
	Get rid of the --enable-32bit option and switch to use --with-arch, which is more standard because it matches the GCC build. If --with-arch is not specified, it defaults to whatever the compiler's default is. The --with-abi is not necessary for this project. Unconditionally compile it with a no-float ABI.
2017-11-03	Fix line endings in the logo	Palmer Dabbelt	1	-1/+1

2017-11-03	Allow users to pick a logo	Palmer Dabbelt	1	-1/+1

2017-02-20	Don't block for acks on console writes	Andrew Waterman	1	-2/+4

2016-07-16	Support 32bit build (#27)	Prashanth Mundkur	1	-1/+1
	* Support configuration for a 32-bit build. * Regenerate configure.
2016-03-09	Refactor pk, bbl, machine into separate libraries	Andrew Waterman	1	-3/+4
	Yuck.
2015-09-02	Don't automatically run autoconf	Andrew Waterman	1	-9/+0
	Run it yourself if you modify configure.ac, and commit the configure script.
2015-05-18	Change the behavior of the DESTDIR make variable	Palmer Dabbelt	1	-5/+5
	DESTDIR is a common make idiom. As per the GNU coding standards https://www.gnu.org/prep/standards/html_node/DESTDIR.html "DESTDIR is a variable prepended to each installed target file, like this: $(INSTALL_PROGRAM) foo $(DESTDIR)$(bindir)/foo $(INSTALL_DATA) libfoo.a $(DESTDIR)$(libdir)/libfoo.a The DESTDIR variable is specified by the user on the make command line as an absolute file name. For example: make DESTDIR=/tmp/stage install DESTDIR should be supported only in the install* and uninstall* targets, as those are the only targets where it is useful. If your installation step would normally install /usr/local/bin/foo and /usr/local/lib/libfoo.a, then an installation invoked as in the example above would install /tmp/stage/usr/local/bin/foo and /tmp/stage/usr/local/lib/libfoo.a instead." The current Makefile.in uses DESTDIR, but has a slightly non-standard behavior: the target install location doesn't include "$prefix". This breaks package managers, because stuff ends up getting installed to the wrong location. Unfortunately the only way I can think of to fix this involves silently changing the behavior of DESTDIR. Hopefully nobody is using it...? [port of 8a2088b59162fe16c16d26ddc1cfcaaaa8c4156f in riscv-fesvr]
2015-05-10	Split pk functionality into pk and bbl	Andrew Waterman	1	-6/+6
	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).
2014-10-26	Don't rely on the C library	Andrew Waterman	1	-1/+1

2012-08-30	respect CFLAGS and LDFLAGS env vars	Christopher Celio	1	-2/+2

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

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

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

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	-13/+13

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