Hello Norman, thanks for the tips »»make timer KERNEL=linux »»https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591de18ae1a5 (https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591de18ae1a5) the second part of the introduction lab run now successfully. Best regards, Christo Am Mi., Nov. 11, 2020 04:02 PM schrieb Norman Feske : Hi Christo,
welcome to the mailing list! On 11.11.20 15:34, [email protected] (mailto:[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 (https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591de18ae1a5) With the move of the timer drivers to the kernel-specific base- 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://www.genode-labs.com) · https://genode.org (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] (mailto:[email protected]) https://lists.genode.org/listinfo/users (https://lists.genode.org/listinfo/users)
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
