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

Age	Commit message (Collapse)	Author	Files	Lines
2017-11-02	Detect harts that can't boot Linux instead of hard-coding them	Palmer Dabbelt	1	-0/+1
	This checks to see if a hart can't boot Linux by looking for a compatible "mmu-type" field. If the hart can't boot Linux, then bbl masks it off.
2017-03-23	pk: does not use dtb	Wesley W. Terpstra	1	-1/+1

2017-03-22	SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdt	Wesley W. Terpstra	1	-3/+3

2017-03-21	Allow PK access to user memory	Andrew Waterman	1	-0/+1

2017-02-17	WIP towards ECALL interface for SBI	Andrew Waterman	1	-1/+1

2016-11-13	Add ability to hard-code an initial environment	Andrew Waterman	1	-2/+18

2016-09-09	Add -p flag to pk to disable demand paging	Andrew Waterman	1	-0/+4

2016-08-10	when -s is passed, print time, instret, cycle, and CPI	Andrew Waterman	1	-3/+6

2016-07-12	Remove uarch counters	Andrew Waterman	1	-42/+0
	We'll re-add support for the generic performance counter facility once it exists.
2016-04-30	Move DRAM to high addresses	Andrew Waterman	1	-1/+1

2016-04-06	Don't assume existence of uarch counters	Andrew Waterman	1	-20/+37

2016-03-09	Refactor pk, bbl, machine into separate libraries	Andrew Waterman	1	-13/+82
	Yuck.
2016-03-05	get rid of struct mainvars	Andrew Waterman	1	-10/+10

2016-03-05	Disentangle PK and BBL a bit	Andrew Waterman	1	-0/+1

2016-02-19	WIP on priv spec v1.9	Andrew Waterman	1	-0/+2

2016-02-19	Remove incorrect code supporting ELF32 on RV64 and vice-versa	Andrew Waterman	1	-5/+2
	This is technically possible by running an RV32 supervisor on an RV64 machine, but the M-mode and S-mode code would need to be compiled and linked separately.
2015-05-29	Make boot loader/SBI changes to support SMP Linux	Andrew Waterman	1	-0/+7

2015-05-10	Split pk functionality into pk and bbl	Andrew Waterman	1	-0/+99
	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).
2013-01-25	rename binary to pk; change argv handling	Andrew Waterman	1	-185/+0
	the new fesvr approach makes argv[0] = pk, rather than user program's name
2012-03-24	new supervisor mode	Andrew Waterman	1	-2/+2

2011-11-11	Synced up PK with supervisor changes/asm syntax	Andrew Waterman	1	-3/+9
	You must upgrade to the latest compiler and ISA simulator to build and run this version of the PK.
2011-06-19	temporary undoing of renaming	Andrew Waterman	1	-0/+179

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

2011-04-15	[pk] limit programs to 2GB (for RV32 simplicity)	Andrew Waterman	1	-6/+9

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

2011-04-12	[pk] add cache flush after program load	Andrew Waterman	1	-0/+1

2011-04-09	[sim,pk] reorganized status register	Andrew Waterman	1	-1/+1

2011-04-09	[xcc,pk,sim,opcodes] added first RVC instruction	Andrew Waterman	1	-3/+4

2011-04-08	[pk,fesvr] pk now loads elfs itself	Andrew Waterman	1	-10/+26
	this allows it to detect 32b binaries
2010-12-29	[pk] send stdout/stderr to both fesvr and debug console	Andrew Waterman	1	-1/+1

2010-11-21	[opcodes, pk, sim, xcc] Tweaked FP encoding	Andrew Waterman	1	-1/+0

2010-11-21	[pk] various PK cleanups/speedups	Andrew Waterman	1	-0/+1

2010-11-21	[xcc, sim, pk] link register is now x1	Andrew Waterman	1	-2/+2

2010-10-26	[pk,sim,xcc] get rid of at register, introduce tp register	Yunsup Lee	1	-5/+5

2010-10-18	[pk] improved performance of fp emulation	Andrew Waterman	1	-18/+4

2010-10-17	[pk] zero out fp regs	Yunsup Lee	1	-0/+13

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

2010-08-24	[pk] proxy kernel support for mixed 32b/64b operation	Andrew Waterman	1	-1/+1

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