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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
