vaseboot

Author	SHA1	Message	Date
Alexander Graf	e1b099fb69	arm efi: Use fdt from firmware when available If EFI is nice enough to pass us an FDT using configuration tables on 32bit ARM, we should really try and make use of it. Signed-off-by: Alexander Graf <agraf@suse.de> Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>	2016-11-10 13:21:00 +01:00
Vladimir Serbinenko	5ad9f728eb	Workaround buggy timer in raspberry pie by using our own timer implementation.	2013-12-22 02:48:42 +01:00
Vladimir Serbinenko	0d8b81f89a	Fix ARM Linux Loader on non-FDT platforms.	2013-12-22 00:30:19 +01:00
Leif Lindholm	b385e0723b	Leif's API fixes	2013-05-03 15:07:39 +02:00
Leif Lindholm	389b31cd71	Initial import of Leif's work	2013-04-07 02:41:07 +02:00