Huan.Feng b4f8f7ca31 change default memory size for opensbi il y a 3 ans
..
config.mk b4f8f7ca31 change default memory size for opensbi il y a 3 ans
objects.mk c94c243f55 add vic7100 support il y a 3 ans
platform.c b4f8f7ca31 change default memory size for opensbi il y a 3 ans