Unable to build drivers/timer

Hello all, in the Genode OS 20.05 documentation, section "Using the build system/Building components",

it says that the timer driver is build with the "make drivers/timer" command.

In my case I get the following error "target 'drivers/timer' does not exist" as

I tried the second part of the "hello world" lab. May the reason be that there is no "timer" directory, with the corresponding files,

in the "os/src/drivers" directory? Best regards, Christo