Nico Huber (nico.h@gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/17126
-gerrit
commit 1815f60c487446fd2c624b59687dac03c81dfd2a Author: Nico Huber nico.h@gmx.de Date: Tue Oct 25 20:32:44 2016 +0200
Clean up after moving to libpayload's timer drivers
Change-Id: I6acf113758d603f4316c3f71ba3e245f78f65609 Signed-off-by: Nico Huber nico.h@gmx.de --- drivers/ide.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/drivers/ide.c b/drivers/ide.c index eab7e88..1aa4646 100644 --- a/drivers/ide.c +++ b/drivers/ide.c @@ -21,7 +21,7 @@ #include <config.h> #include <lib.h> #include <fs.h> -#include <arch/timer.h> +#include <timer.h> #ifdef CONFIG_SUPPORT_PCI #include <pci.h> #endif