I am trying to create a test for beaglebone using the seL4test suite but I
am having the following error:
seL4Test/libs/libplatsupport/src/plat/am335x/dm.c:56:25: error: ‘timer’
undeclared (first use in this function)
dm_t *dm = (dm_t *) timer->data;
I just did "make menuconfig" and change:
Architecture Type (ARM) --->
ARM CPU selection (Cortex A8) --->
Platform Type (AM335X (BeagleBone)) --->
Save the configuration and "make".
Ventura
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
