commit 41be154ae6b5dcc6e24b3cc2734c6a8b6892f1b6
author Damon Lee <Damon.Lee@data61.csiro.au> Wed Jul 17 14:13:45 2019 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> Mon Aug 19 14:38:20 2019 +1000
tree c7f754b2a4cc41d2fb89a8c031803b5734f33b96
parent a6e1fbf84d12240422ee81de474b6f1557f04867

libsel4test: Remove seL4_timer_t from env

This struct member was not being used anywhere at all, so we remove it.

libsel4test/include/sel4test/test.h

diff --git a/libsel4test/include/sel4test/test.h b/libsel4test/include/sel4test/test.h
index 86adc3a..d4122d3 100644
--- a/libsel4test/include/sel4test/test.h
+++ b/libsel4test/include/sel4test/test.h
@@ -46,8 +46,6 @@
     vka_t vka;
     /* virtual memory management interface */
     vspace_t vspace;
-    /* initialised timer */
-    seL4_timer_t timer;
     /* abstract interface over application init */
     simple_t simple;
     /* notification for timer */