Add a model of LDREX/STREX/CLREX, that although simple may be correct enough to cover the needs of SW using these instructions. Signed-off-by: Alberto Escolar Piedras <alberto.escolar.piedras@nordicsemi.no>
Add a model of LDREX/STREX/CLREX, that although simple may be correct enough to cover the needs of SW using these instructions. Signed-off-by: Alberto Escolar Piedras <alberto.escolar.piedras@nordicsemi.no>