ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #6214 from tkaman/m33_build 

Build issue for M33 core
pull/6040/merge
Anna Bridge 2018-02-28 14:13:21 +00:00 committed by GitHub
parent dce5a2febe 8cc71dda75
commit 8add292235
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rtos/TARGET_CORTEX/rtx5/RTX/Source/TOOLCHAIN_GCC/TARGET_M33/irq_armv8mml.S
View File

@ -27,7 +27,7 @@
.file "irq_armv8mml.S"
.syntax unified
+#ifndef __DOMAIN_NS
#ifndef __DOMAIN_NS
.equ __DOMAIN_NS, 0
#endif