[Koshkin]

> MicroOS

> 5 GB

Right...

[rbrownsuse]

> 285 MB without bare metal hardware support.

All you need if you're never going to update it or you're going to take steps to ensure the installed workload doesn't eat up excess space.