паравиртуализация в гипервизоре xen на оборудовании rasberrypi4

Question

мы пытаемся портировать Android в качестве гостя на гипервизор Xen на оборудовании Raspberry Pi4. Какие изменения необходимо внести в ядро ​​гостевой ОС (Android) для достижения паравиртуализации на гипервизоре XEN?

есть ли ссылка, по которой я могу следовать?

Спасибо