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