Hi seL4-hackers,

I am porting the sel4test project to my custom target board, which contains an ARM Cortex-A7 core.

The porting work is based on NVidia TK1 Cortex-A15 platform.

In current stage, the seL4 kernel has booted up and the test benches can be tested.

I can pass all tests except for the timer tests (turn off CONFIG_HAVE_TIMER).

In my target, only ARM generic timer is used.

My questions are:

1. Are the timer tests (CONFIG_HAVE_TIMER) designed for other platform timer besides ARM generic timer?

If I only use ARM generic timer, should these timer tests be passed?

2. My goal is to running Linux with seL4 VMM on my target. The sel4platsupport_get_default_timer() is platform specific.

If I only use ARM generic timer, should sel4platsupport_get_default_timer() be ported to return the ARM generic timer?

If yes, is there any example for me to reference?

BRs,

Jesse