tree 09e3b933fae5a6720a405b7af76465240361228e
parent 18335def90e9780c24897a9c4768861a728cb048
author Adrian Danis <Adrian.Danis@data61.csiro.au> 1492499235 +1000
committer Adrian Danis <Adrian.Danis@data61.csiro.au> 1492669666 +1000

libsel4vka: Raise fatal errors in vka_cspace_make_path

This function is unable to indicate to the user whether its operation was successful
or not. As a result in the presence of an error we should panic instead of allowing
the user to continue with garbage data unknowingly