.. _xs1_abi: xCORE 32-Bit Application Binary Interface ========================================= Information on the XS1 32-ABI, the XE file format and System Call Interface is available in the `Tools Development Guide `_.