Re: VMM for base-hw on ARM