[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