[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

selecting a kernel to install




I've encountered an issue with the kernel selection when building disk images using livemedia-creator.

Note: I am working with ARM systems.

The issue is, when making an image and passing "None" as the armPlatform (base kernel install), it seems to pick the wrong kernel. The correct choice in this case is kernel-3.6.10-8.fc18.armv7l, but instead kernel-kirkwood-3.6.10-8.fc18.armv5tel is installed.

I'm not sure why a 'kirkwood' kernel (flavor) would be selected over the base kernel of the same version, but I suspect it has something to do with the arch (armv7l and armv5tel). Both are Soft-Floating Point kernels, but only a base kernel should be installed if the armPlatform is "None" (at least, that is the intent).

This issue does not arise on Hard-FP systems (it works as it should), but all Hard-FP kernels are the same arch (armv7hl).

If anyone has ideas why this is happening, or has suggestions for debugging the issue, I would appreciate your feedback.

For reference, the command line I'm using is:

  livemedia-creator \
    --make-disk --no-virt --image-only --keep-image \
    --armplatform=None \
    --ks=<PathToKickstart>/F18-vexpress-xfce-sfp.ks


The kickstart file does not specify any specific kernel or version.


Thank you,

d.marlin


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]