Hi Christo, welcome to the mailing list!
On 11.11.20 15:34, [email protected] wrote: > 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? Thank you for reporting. This step of the manual is indeed outdated, which was unnoticed until now. Earlier this year, we slightly rearranged the source-code structure of the various timer drivers [1]. [1] https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591de18ae1a5 With the move of the timer drivers to the kernel-specific base-<kernel> repositories, one needs to specify the respective kernel now, e.g., make timer KERNEL=linux Sorry for this inconvenience. I'm going to update the documentation. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
