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
Example Usage:
Reboot into rtems and load the bitfile /mnt/boot/fpga.bit
reboot_rce -t rtems -b 1
Reboot into linux and do not load a bitfile (use default bitstream built into boot.bin)
reboot_rce -t linux -b 0
See also Rebooting the RCE