[seL4] seL4test suite error when compiling for AM335X beaglebone

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