aboutsummaryrefslogtreecommitdiff
path: root/machine/disabled_hart_mask.h
diff options
context:
space:
mode:
authorPalmer Dabbelt <palmer@dabbelt.com>2017-11-02 15:44:15 -0700
committerPalmer Dabbelt <palmer@dabbelt.com>2017-11-02 15:45:26 -0700
commit9204785053e9a488b8990f9f98ff8f05c71fd0d5 (patch)
treed87d05b64a66af9a542a7d88e98f53d7ff17d33d /machine/disabled_hart_mask.h
parent220b1bee10d9399864131cd1dbe5037714237f03 (diff)
downloadriscv-pk-9204785053e9a488b8990f9f98ff8f05c71fd0d5.zip
riscv-pk-9204785053e9a488b8990f9f98ff8f05c71fd0d5.tar.gz
riscv-pk-9204785053e9a488b8990f9f98ff8f05c71fd0d5.tar.bz2
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.
Diffstat (limited to 'machine/disabled_hart_mask.h')
-rw-r--r--machine/disabled_hart_mask.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/machine/disabled_hart_mask.h b/machine/disabled_hart_mask.h
new file mode 100644
index 0000000..2a3a73c
--- /dev/null
+++ b/machine/disabled_hart_mask.h
@@ -0,0 +1,4 @@
+#ifndef DISABLED_HART_MASK_H
+#define DISABLED_HART_MASK_H
+extern long disabled_hart_mask;
+#endif