From 9204785053e9a488b8990f9f98ff8f05c71fd0d5 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Thu, 2 Nov 2017 15:44:15 -0700
Subject: 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.
---
 pk/pk.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pk/pk.c')

diff --git a/pk/pk.c b/pk/pk.c
index 11a2cdf..e7cfc3a 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -7,6 +7,7 @@
 #include <stdbool.h>
 
 elf_info current;
+long disabled_hart_mask;
 
 static void handle_option(const char* s)
 {
-- 
cgit v1.1