Misc debugging

[~andy/csm213a-hw] / hw2 / main.cpp

diff --git a/hw2/main.cpp b/hw2/main.cpp
index 3e82918134cc36d645b4ab454a9d9e56ae9b6e14..52e84aa7b242cfbe45a3a7b1c1ce7042ab28f4ed 100644 (file)
--- a/hw2/main.cpp
+++ b/hw2/main.cpp
@@ -335,8 +335,8 @@ void serial_send_event(sirq_t *port, uint16_t event, uint64_t local)
 
        body.device = serial_device_id;
        body.event  = event;
-       body.world  = ltime;
-       body.local  = wtime;
+       body.world  = wtime;
+       body.local  = ltime;
 
        // Transmit message to BBB
        sirq_write(port, &head, sizeof(head));
@@ -569,6 +569,8 @@ void task_debug(uint64_t local, uint64_t world)
 
        //sirq_debug(sirq_mbed);
 
+       serial_send_event(sirq_bbb, 1, local);
+
 #ifdef VERBOSE
        sirq_printf("background - %6u.%02u -> %u.%02u\r\n",
                        (uint32_t)(local / NSEC_PER_SEC),