| Index: src/trusted/service_runtime/arch/arm/nacl_switch_to_app_arm.c
|
| ===================================================================
|
| --- src/trusted/service_runtime/arch/arm/nacl_switch_to_app_arm.c (revision 6916)
|
| +++ src/trusted/service_runtime/arch/arm/nacl_switch_to_app_arm.c (working copy)
|
| @@ -44,8 +44,7 @@
|
| */
|
| CHECK((nap->user_entry_pt & 0x1) | (nap->initial_entry_pt & 0x1));
|
| /* The real springboard target addresses are aligned 0xe mod 16. */
|
| - /* Skipping a 2-byte halt brings us to 0 mod 16. */
|
| - CHECK((nap->springboard_addr & 0xf) == 0x0);
|
| + CHECK((nap->springboard_addr & 0xf) == 0xe);
|
| return nap->springboard_addr | 0x1;
|
| #else
|
| return nap->springboard_addr;
|
|
|