Updates for ISXDK34