Unable to build drivers/timer

[fixed-term.christo.bita at sojus-software.de]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20201111/8b270e26/attachment.html>