Re: Questions about ACRN's dependency and Other Linux Distro Supports
Geoffroy Van Cutsem
Are you sure you have the kernel in the right place, your grub entry indicated: /boot/acrn/org.clearlinux.pk414-sos.4.14.74-115 but the kernel is usually placed in a different folder (and under a slightly different name), e.g. /EFI/org.clearlinux/kernel-org.clearlinux.pk414-sos.4.14.57-69
From: acrn-users@... [mailto:acrn-users@...] On Behalf Of tk.kim@...
Sent: Wednesday, November 21, 2018 10:55 AM
Subject: Re: [acrn-users] Questions about ACRN's dependency and Other Linux Distro Supports