File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -21,14 +21,16 @@ using namespace CHERI;
2121extern " C" uint32_t entry_point (void *rwRoot) {
2222 Capability<void > root{rwRoot};
2323
24- asm volatile (
25- // Store capability to stack
26- " csc cra, -4(csp)\n "
27- // Load capability from stack
28- " clc cra, -4(csp)\n "
29- // Clear capability from stack
30- " csc cnull, -4(csp)\n " ::
31- : " memory" );
24+ // TODO fix illegal instruction exception here.
25+ // asm volatile(
26+ // // Store capability to stack
27+ // "csc cra, -4(csp)\n"
28+ // // Load capability from stack
29+ // "clc cra, -4(csp)\n"
30+ // // Clear capability from stack
31+ // "csc cnull, -4(csp)\n" ::
32+ // : "memory");
33+
3234 // Capability to general purpose output
3335 Capability<volatile uint32_t > gpo = root.cast <volatile uint32_t >();
3436 gpo.address () = 0x80000000 ;
You can’t perform that action at this time.
0 commit comments