c6446a1b6d
pc-bios: Update the palcode-clipper image
...
Build a new palcode image with Jason Thorpe's patches
to support NetBSD.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org >
2021-06-28 07:27:32 -07:00
22e3284f01
pc-bios: Update palcode-clipper
...
Report machine checks to the kernel.
It is now using these for probing missing devices.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org >
2019-03-25 13:37:18 -07:00
ac89de40ef
pc-bios: Update palcode-clipper
...
Do not double-update the PC after OPCDEC.
Fixes: https://bugs.launchpad.net/bugs/1810545
Signed-off-by: Richard Henderson <richard.henderson@linaro.org >
2019-01-08 12:12:51 +10:00
55d38d10b8
trivial: Make bios files and source files non-executable
...
These files can not be executed on the host, so they should not be
marked as executable.
Reviewed-by: David Hildenbrand <david@redhat.com >
Signed-off-by: Thomas Huth <thuth@redhat.com >
2018-09-25 17:26:18 +02:00
dfbd2768b2
target-alpha: Update palcode for smp
...
Signed-off-by: Richard Henderson <rth@twiddle.net >
2016-11-17 15:56:31 +01:00
b957a1b03c
pc-bios: Update palcode-clipper
...
Update image to c87a92639b28ac42bc8f6c67443543b405dc479b,
incorporating changes for vm_time.
Signed-off-by: Richard Henderson <rth@twiddle.net >
2013-07-18 08:17:42 -07:00
753d11f223
target-alpha: Add custom PALcode image for CLIPPER emulation.
...
Signed-off-by: Richard Henderson <rth@twiddle.net >
2011-10-08 08:46:03 -07:00
