Huan.Feng b4f8f7ca31 change default memory size for opensbi 3 jaren geleden
..
config.mk b4f8f7ca31 change default memory size for opensbi 3 jaren geleden
objects.mk c94c243f55 add vic7100 support 3 jaren geleden
platform.c b4f8f7ca31 change default memory size for opensbi 3 jaren geleden