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 ------------------------------------------------------------------------------ "Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE Instantly run your Selenium tests across 300+ browser/OS combos. Get unparalleled scalability from the best Selenium testing platform available Simple to use. Nothing to install. Get started now for free." http://p.sf.net/sfu/SauceLabs _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
