board_f: powerpc: Use timer_init() instead of init_timebase()
[oweals/u-boot.git] / board / Marvell / db-88f6720 /
drwxr-xr-x   ..
-rw-r--r-- 153 MAINTAINERS
-rw-r--r-- 112 Makefile
-rw-r--r-- 2841 db-88f6720.c
-rw-r--r-- 245 kwbimage.cfg