History log of /seL4-test-master/tools/riscv-pk/machine/mtrap.h
Revision Date Author Comments
# 815050f0 19-Dec-2018 Andrew Waterman <andrew@sifive.com>

Set up PMP earlier, so it can be overridden later


# 72672f9a 14-May-2018 Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk>

bbl: boot payload in machine mode when --enable-boot-machine is passed


# 16476bd8 09-Jul-2018 Andrew Waterman <andrew@sifive.com>

Properly license all nontrivial files


# 2bbd8e1a 05-Mar-2018 Wesley W. Terpstra <wesley@sifive.com>

mtrap: add a halt IPI used for poweroff (#86)

Otherwise, linux complains the moment an interrupt arrives and
wakes up one of the not-looping cores.


# 3f20915e 14-Aug-2017 Wesley W. Terpstra <wesley@sifive.com>

finisher: support terminating sifive devices simulation (#61)


# ca24f3c9 03-Aug-2017 Palmer Dabbelt <palmer@dabbelt.com>

Add the '--enable-print-device-tree' argument

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.


# 298984cb 02-Aug-2017 Palmer Dabbelt <palmer@dabbelt.com>

Move DISABLED_HART_MASK to the platform

Some platforms can't boot Linux on all the harts. This commit allows
platforms to define the set of harts that should be prevented from
booting past BBL. This is essentially just a new mechanism for defining
the DISABLED_HART_MASK.


# 8197cad4 06-Apr-2017 Wesley W. Terpstra <wesley@sifive.com>

mtrap: allow override of DISABLED_HART_MASK from CFLAGS


# a2c8937e 05-Apr-2017 Andrew Waterman <andrew@sifive.com>

Remove num_harts; use hart_mask exclusively


# dce2b7dd 05-Apr-2017 Andrew Waterman <andrew@sifive.com>

Rename HART_MASK to DISABLED_HART_MASK to clarify polarity


# 8b4421ba 05-Apr-2017 Wesley W. Terpstra <wesley@sifive.com>

bbl: prevent named cores from booting


# 23ab37ad 22-Mar-2017 Wesley W. Terpstra <wesley@sifive.com>

SBI: a0+a1 hold hartid+dtb pointer between boot loader stages


# f6bca6e3 20-Feb-2017 Andrew Waterman <andrew@sifive.com>

Don't block for acks on console writes


# 59484c94 20-Feb-2017 Andrew Waterman <andrew@sifive.com>

WIP on SBI


# 7c476502 19-Feb-2017 Andrew Waterman <andrew@sifive.com>

Handle IPIs and timer interrupts more quickly


# 926b3606 17-Feb-2017 Andrew Waterman <andrew@sifive.com>

WIP towards ECALL interface for SBI


# 611290cc 15-Feb-2017 Andrew Waterman <andrew@sifive.com>

Cleanly separate HTIF code; don't poll keyboard on timer interrupt


# 6c1d0604 25-Oct-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Use __riscv_flen macro to detect FP support


# 08a6142a 26-Aug-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Update to new counter spec


# 1e62fdfc 06-Jun-2016 Andrew Waterman <waterman@cs.berkeley.edu>

PLIC registers are 32-bit, not 16-bit


# 113d00e6 22-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Add preliminary support for the interrupt controller


# ee610c0f 03-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Find IPI address in configuration string


# 66776bbc 29-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove mtime/mtimecmp


# 469c5f16 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Make num_harts a uintptr_t

Making it a uint32_t is a false economy.


# f16e9311 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove dead code


# b94c7a4b 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Refactor pk, bbl, machine into separate libraries

Yuck.