History log of /seL4-test-master/tools/riscv-pk/machine/mentry.S
Revision Date Author Comments
# 72672f9a 14-May-2018 Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk>

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


# 9ecbd23d 08-May-2018 Zong Li <zong@andestech.com>

Correct the comment of timer interrupt


# 8ff22228 09-Apr-2018 Zong Li <zongbox@gmail.com>

Fix the wrong access of ipi pending address (#99)

The MENTRY_IPI_PENDING_OFFSET offset is based on stack pointer


# 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.


# 21dbf5f3 22-Jan-2018 Palmer Dabbelt <palmer@dabbelt.com>

Boot on the first hart

This code is broken, and it's left over from before we could read the
DTB to find harts to boot on.


# 92047850 02-Nov-2017 Palmer Dabbelt <palmer@dabbelt.com>

Detect harts that can't boot Linux instead of hard-coding them

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.


# 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.


# 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


# 3473915b 27-Mar-2017 Andrew Waterman <andrew@sifive.com>

Separate page faults from physical memory access exceptions


# 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


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

Use __riscv_flen macro to detect FP support


# f892b43a 15-Sep-2016 sashimi-yzh <yuzihao@ict.ac.cn>

machine, mentry.S: fix not receiving IPI for other harts (#38)

* Before waiting for IPI by executing wfi instruction, MSIE bit
should be set in mie CSR for other harts, else they will get
stuck at the wfi instruction.


# d42f458b 28-Jul-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Don't let other harts boot before HLS is initialized

Use IPIs to signal them.


# 1bcab787 05-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Poll HTIF console on timer interrupt


# 20016321 02-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Don't use tohost/fromhost registers; communicate with host via memory


# 7389e46c 30-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Move DRAM to high addresses


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

ERET -> MRET


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

Refactor pk, bbl, machine into separate libraries

Yuck.