Files
opensbi/lib/utils/reset