br deecdc3d61 Provide the number of interrupt resources added to the list ... by using extra argument, so caller will know that.		2015-05-15 13:55:18 +00:00
..
beri_machdep.c	Correct the end address of the memory regions.	2014-12-19 12:09:29 +00:00
beri_pic.c	Follow r261352 by updating all drivers which are children of simplebus	2014-02-02 19:17:28 +00:00
beri_simplebus.c	Provide the number of interrupt resources added to the list	2015-05-15 13:55:18 +00:00
fdt_ic_if.m	Provide a simpler and more standards-compliant simplebus implementation to	2014-02-01 17:41:54 +00:00
files.beri	Add configuration files for BERI soft-core synthesized on	2014-12-17 11:36:31 +00:00
std.beri