Something along the line of corecmd_exec_bin(rebootmgr_t) corecmd_exec_shell(rebootmgr_t) but I think we should not run the command in a shell environment. Will comment in the PR