15 May
2014
15 May
'14
6:40 a.m.
Hello Wolfgang,
On Thu, May 15, 2014 at 07:04:08AM +0200, Wolfgang Schmidt wrote:
Just another small question: The binaries for drivers like ahci or pci are ending with _drv. The binary of acpi not. Is there a rule of thumb for the naming?
well spotted, the AHCI-driver naming does not adhere to our convention. As we plan to revise the implementation and unify the drivers for x86 and Exynos5, the new driver should be named ahci_drv.
Greets
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth