On 11/11/2022 15:21, Vitaly Kuznetsov wrote:
> Alexander Potapenko writes:
>
>> Hi,
>>
>> While investigating KMSAN's incompatibilities with the default Ubuntu
>> config (https://github.com/google/kmsan/issues/89#issuecomment-1310702949),
>> I figured out that a kernel won't boot with both CONFIG_
Alexander Potapenko writes:
> Hi,
>
> While investigating KMSAN's incompatibilities with the default Ubuntu
> config (https://github.com/google/kmsan/issues/89#issuecomment-1310702949),
> I figured out that a kernel won't boot with both CONFIG_KMSAN=y and
> CONFIG_XEN_PV=y.
>
> In particular, it
