Usage: reboot_rce [<-t <rtems|linux|ramdisk>] [-b <0|1>]

Modify bootloader parameters and reboot system

Options:
 -t|--target Set the target operating system
 -b|--bitload Set the bitfile load directive

See also Rebooting the RCE