search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

examples/simple: give MaaXBoard 256MB of guest RAM #127

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

512MB works fine but to be consistent with the other platforms, we should give it 256MB.