Age | Commit message (Collapse) | Author |
|
Build a new palcode image with Jason Thorpe's patches
to support NetBSD.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
|
|
Report machine checks to the kernel.
It is now using these for probing missing devices.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
|
|
Do not double-update the PC after OPCDEC.
Fixes: https://bugs.launchpad.net/bugs/1810545
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
|
|
Signed-off-by: Richard Henderson <rth@twiddle.net>
|
|
Update image to c87a92639b28ac42bc8f6c67443543b405dc479b,
incorporating changes for vm_time.
Signed-off-by: Richard Henderson <rth@twiddle.net>
|
|
Signed-off-by: Richard Henderson <rth@twiddle.net>
|