Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 27673

Summary: installkernel does not work with vmlinux on ppc
Product: Gentoo Linux Reporter: Florian Friesdorf <flo>
Component: Current packagesAssignee: PPC Porters <ppc>
Status: RESOLVED WONTFIX    
Severity: normal CC: drobbins
Priority: High    
Version: unspecified   
Hardware: PPC   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: patch to installkernel - kernels on ppc are handled correctly

Description Florian Friesdorf 2003-08-31 16:28:30 UTC
as kernels under ppc linux are not compressed, they are usually called vmlinux 
instead of vmlinuz. 
installkernel does not recognize vmlinux and therefore creates the wrong link 
and does not move the old link 

Reproducible: Always
Steps to Reproduce:
1.cd /usr/src/linux 
2.build kernel 
3.installkernel <kernel-version> vmlinux System.map /boot 
Actual Results:  
System.map and config are handled fine. 
vmlinux is copied to /boot/vmlinuz-<kernel-version> 
and link vmlinuz is created. 
Old vmlinux link is still there 

Expected Results:  
vmlinux should be copied to /boot/vmlinux-<kernel-version> 
and link vmlinux should be created. 
Old vmlinux link should be moved to vmlinux.old
Comment 1 Florian Friesdorf 2003-08-31 16:32:55 UTC
Created attachment 16876 [details, diff]
patch to installkernel - kernels on ppc are handled correctly

the architecture is determined with arch
in case of ppc - vmlinux is used
otherwise it's vmlinuz
Comment 2 Lars Weiler (RETIRED) gentoo-dev 2004-02-15 17:41:22 UTC
This script from debianutils is for i386-machines only.  For ppc just follow our instructions how to install a kernel (it's just a simple copy and yaboot-action).

Keep it short, I don't want to fix this bug.