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

…

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

…

files.beri

Add configuration files for BERI soft-core synthesized on

2014-12-17 11:36:31 +00:00

std.beri

…