diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/fixup-dts | 20 | ||||
-rw-r--r-- | scripts/standalone.mk | 2 |
2 files changed, 1 insertions, 21 deletions
diff --git a/scripts/fixup-dts b/scripts/fixup-dts index 8b2457f..e1f7d57 100755 --- a/scripts/fixup-dts +++ b/scripts/fixup-dts @@ -29,26 +29,6 @@ else SED=gsed fi -# Add a PMP node if it doesn't exist - -if [ `grep -c 'riscv,pmp' ${dts}` -eq 0 ]; then - - echo "$0: PMP node not found in ${dts}." - - # Check for targets without PMP support - - TARGET=`echo ${dts} | cut -d '/' -f 1` - if [ "$TARGET" != "freedom-e310-arty" -a \ - "$TARGET" != "sifive-hifive1" -a \ - "$TARGET" != "coreip-e20-rtl" -a \ - "$TARGET" != "coreip-e20-arty" ]; then - - ${SED} -i '/riscv,isa/a riscv,pmpregions = <1>;' ${dts} - - echo -e "$0: \tAdded pmp@0" - fi -fi - # Add numintbits for the clic node if it doesn't exist if [ `grep -c 'sifive,clic0' ${dts}` -ne 0 ]; then diff --git a/scripts/standalone.mk b/scripts/standalone.mk index a29bce4..2378b12 100644 --- a/scripts/standalone.mk +++ b/scripts/standalone.mk @@ -221,7 +221,7 @@ endif .PHONY: clean-software clean-software: - $(MAKE) -C $(SRC_DIR) clean + $(MAKE) -C $(SRC_DIR) PORT_DIR=$(PORT_DIR) clean rm -rf $(SRC_DIR)/$(CONFIGURATION) .PHONY: clean clean: clean-software |