Huan.Feng b4f8f7ca31 change default memory size for opensbi 3 jaren geleden
..
vic7100 b4f8f7ca31 change default memory size for opensbi 3 jaren geleden