tree 9aa8ae0d414af9fcf19eba6025e4a3ff92c35a8a
parent 72a14065fc09a292ea00bdca66bc6b3f582ec841
author Matt Spinler <spinler@us.ibm.com> 1487357109 -0600
committer Patrick Williams <patrick@stwcx.xyz> 1487976304 +0000

Use OpenFSI backend for all FSI operations

We perform two changes that must be done in sync:

 - Tell pdbg to use OpenFSI backend in boot scripts.

 - Bump the kernel to enable the FSI kernel driver.

Following this change the host CPUs are IPL'd through the kernel driver.

Change-Id: Ia28d2c854c8856c12c21e2230501ab7a9bc2a3b7
Signed-off-by: Matt Spinler <spinler@us.ibm.com>
Signed-off-by: Joel Stanley <joel@jms.id.au>