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