Justin Hibbits f8fd3fb518 Fix the resource_list_print_type() calls to use uintmax_t. ... Missed a bunch from r297000.		2016-03-22 22:25:08 +00:00
..
beri_machdep.c	Make the memory size returned from fdt_get_mem_regions a 64-bit type. This	2016-03-01 11:39:07 +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	Fix the resource_list_print_type() calls to use uintmax_t.	2016-03-22 22:25:08 +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