tree b2565f4bb220e62ef5d0da55138aab14031f90ee
parent 0cf1c707b14eb6a4a054a93c92524cc9ba9bdb2f
author Damon Lee <Damon.Lee@data61.csiro.au> 1564038768 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Fix 'new_fdt_ops'

Previously, we assumed that not being able to copy the FDT was a failure
condition. However, on some platforms, this is actually a valid
condition, e.g. x86 or platforms for which the kernel does not have a
DTS for. This commit fixes that assumption so that calling 'fdt_get'
with the interface returns a NULL pointer.