This BSP uses the GDB Arm simulator. It has not worked since proper interrupt support was added to the ARM port. Unless fixed, as soon as another ARM simulator is suitable and reliable, this BSP should be killed.
None.
