Re: UOS kernel
Ross Burton <ross.burton@...>
On Tue, 12 Mar 2019 at 16:25, Geoffroy Van Cutsem
<geoffroy.vancutsem@...> wrote: <facepalm>Is this option not in acrn-kernel yet, or has it been removed?This is a typo, it should be domain_scaler_owner - see: Thanks. Ross |
|