#!/bin/sh
# Very dumb shell script to generate DTB nodes that changes the
# boot-method to PSCI.
#
# Copyright (C) 2014 ARM Limited. All rights reserved.
#
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE.txt file.

CPU_IDS=$1;
CPU_IDS_NO_HEX=$(echo $CPU_IDS | sed s/0x//g);
CPU_IDS_NO_HEX=$(echo $CPU_IDS_NO_HEX | sed s/\,/\ /g);
for id in $CPU_IDS_NO_HEX;
do
	echo "cpu@$id {";
	echo '	enable-method = \"psci\";';
	echo "	reg = <0 0x$id>;";
	echo "};";
done