The RCE core software is a set of preinstalled libraries executable on and executables preinstalled on all RCE SD cards.
This software consists of kernels, bootloaders, drivers, and utilities and includes:
boot.bin - RCE bootloader
uImage - Linux kernel (Xilinx distribution)
devicetree.dtb - Linux kernel device tree specification
...
Arch Linux pacman packages - various bundled utilities
The current version of the core software is contained in each release of the RCE SDK.