Help in identifying "Xen" kernel?

Support & Help Requests
1

I consulted with Mondo-devel on a problem with backing up my system and this is what I got from them reading my logs:

You seem to have 2 issues:
1/ minor: your main kernel is detected as a Xen kernel but not completely.
Do you really have a Xen kernel ? In which case you have to pass the
non-Xen kernel you really want to use with -k
2/ major: you don’t have enough space on the boot media mindi tries to create
Try increasing EXTRA_SPACE in /etc/mindi/mindi.conf to 200MB or more. 150MB
seems to not be enough for your conf.

I have increased the /etc/mindi/mindi.conf as directed. I don’t know if and/or what to do about the kernel comment. Can someone look at this and see if you can guide me in the right direction? My specs are:
Release 16.04.1 LTS (Xenial Xerus) 64-bit
Kernel Linux 4.4.0-45-generic x86_64
MATE 1.12.1

Is “Xenial” Xen? If this is a Xen kernel, can I still comply with the direction from the Mondo-devel?

2

Hello @mrjoeyman

It would be good to confirm with your vendor but I think that by “Xen” they did NOT meant Xenial but rather the virtualization technology ( https://en.wikipedia.org/wiki/Xen )

Hope this helps,

3

Do you know what was meant by the above statement?

4

Hello @mrjoeyman

I like to think they are talking about the boot parameters for your kernel from your GRUB bootloader but am not too sure, it would be best to follow-up with them.

If what I think is right then you can find out more informations @ http://unix.stackexchange.com/questions/198003/set-default-kernel-in-grub

Hope this helps,