Vladimir Serbinenko 5ad9f728eb Workaround buggy timer in raspberry pie by using our own timer ...

implementation.

2013-12-22 02:48:42 +01:00

..

hw.c

* grub-core/partmap/dfly.c: New partition map.

2013-05-16 16:18:37 +02:00

init.c

Workaround buggy timer in raspberry pie by using our own timer

2013-12-22 02:48:42 +01:00

uboot.c

Leif's API fixes

2013-05-03 15:07:39 +02:00