Huan.Feng b4f8f7ca31 change default memory size for opensbi il y a 3 ans
..
vic7100 b4f8f7ca31 change default memory size for opensbi il y a 3 ans