diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2019-03-25 13:36:17 -0700 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2019-03-25 13:37:18 -0700 |
| commit | 22e3284f01e315179e629a7e7366ef34bd01d225 (patch) | |
| tree | 3953cbe7b22801108b5317dcb499be8dfdaca9b5 /pc-bios | |
| parent | d132baa05ed7a647067c807fd452ec794cc2ecb7 (diff) | |
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>
Diffstat (limited to 'pc-bios')
| -rw-r--r-- | pc-bios/palcode-clipper | bin | 155968 -> 156328 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pc-bios/palcode-clipper b/pc-bios/palcode-clipper Binary files differindex fb9026ae64..b7dbc5d88c 100644 --- a/pc-bios/palcode-clipper +++ b/pc-bios/palcode-clipper |