1 [ 2 { 3 "ArchStdEvent": "LDREX_SPEC" 4 }, 5 { 6 "ArchStdEvent": "STREX_PASS_SPEC" 7 }, 8 { 9 "ArchStdEvent": "STREX_FAIL_SPEC" 10 }, 11 { 12 "ArchStdEvent": "STREX_SPEC" 13 } 14 ]
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.