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
Hi Christo,
welcome to the mailing list!
On 11.11.20 15:34, fixed-term.christo.bita@sojus-software.de 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/bf62d6b8962c0f02c455f26b44e8591d...
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
Hello Norman, thanks for the tips
»»make timer KERNEL=linux »»https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591d... (https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591d...) 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, fixed-term.christo.bita@sojus-software.de (mailto:fixed-term.christo.bita@sojus-software.de) 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/bf62d6b8962c0f02c455f26b44e8591d... (https://github.com/genodelabs/genode/commit/bf62d6b8962c0f02c455f26b44e8591d...)
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
-
fixed-term.christo.bita＠sojus-software.de -
Norman Feske