[PATCH v3 2/3] Add ARM Paravirtualization support

[Chris Johns]

On 22/02/2018 22:39, Sebastian Huber wrote:
> For the XtratuM support on ARMv7-R I simply built the tools via the RSB and added "-mtp=soft" to the C/C++ flags. I also used "-mtp=soft" for the BSP, this instructs GCC to use calls to __aeabi_read_tp().

I had no idea this was the case.

On ARM or to be more specific on ARM SMP builds the thread ID will have to be
set to the thread TCB on ARM SMP machines by the context switcher. It is needed
to support libdebugger on SMP for stepping to work.

Chris