Page History

...

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