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

…