This adds a SELECT_PLATFORM option which can be used to compile the runtime for GVSOC.
This will then select a dedicated putchar which is using OpenOCD semi-hosting. This is also used for exit.
This is used to avoid the polling in dram due to htif modeling, which disturbs dram timing model with extra page misses.
This also fixes an uninitialized access to putchar index which fails on gvsoc since memory is not initialized to zero.
This adds a SELECT_PLATFORM option which can be used to compile the runtime for GVSOC. This will then select a dedicated putchar which is using OpenOCD semi-hosting. This is also used for exit. This is used to avoid the polling in dram due to htif modeling, which disturbs dram timing model with extra page misses. This also fixes an uninitialized access to putchar index which fails on gvsoc since memory is not initialized to zero.