satip-axe/kernel/arch/powerpc/boot
2015-03-26 17:24:57 +01:00
..
dtc-src add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dts add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
.gitignore add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
4xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
4xx.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
44x.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
addnote.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
addRamDisk.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bamboo.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpm-serial.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
crt0.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
crtsavres.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-8xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-52xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-83xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-85xx-cpm2.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-85xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-824x.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-acadia.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-amigaone.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-bamboo.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-c2k.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-ebony.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-hotfoot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-katmai.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-kilauea.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-mpc7448hpc2.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-pq2.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-rainier.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-sam440ep.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-sequoia.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-taishan.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-warp.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot-yosemite.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cuboot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dcr.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
devtree.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
div64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dummy.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ebony.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
elf_util.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
elf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ep88xc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ep405.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ep8248e.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fixed-head.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
flatdevtree_env.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fsl-soc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fsl-soc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
gunzip_util.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
gunzip_util.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hack-coff.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
holly.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
install.sh add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
libfdt_env.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
libfdt-wrapper.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
main.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
Makefile add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mktree.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpc8xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpc8xx.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpc52xx-psc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpsc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mv64x60_i2c.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mv64x60.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mv64x60.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ns16550.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
of.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
of.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ofconsole.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
oflib.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ops.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
planetcore.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
planetcore.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ppc_asm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ppcboot-hotfoot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ppcboot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pq2.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pq2.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
prpmc2800.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ps3-head.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ps3-hvcall.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ps3.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
README add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
redboot-8xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
redboot-83xx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
redboot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
reg.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rs6000.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
serial.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
simple_alloc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
simpleboot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stdio.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stdio.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stdlib.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stdlib.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
string.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
string.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
treeboot-bamboo.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
treeboot-ebony.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
treeboot-walnut.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uartlite.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
util.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
virtex405-head.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
virtex.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
wrapper add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
zImage.coff.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
zImage.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
zImage.ps3.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00

To extract the kernel vmlinux, System.map, .config or initrd from the zImage binary:

objcopy -j .kernel:vmlinux -O binary zImage vmlinux.gz
objcopy -j .kernel:System.map -O binary zImage System.map.gz
objcopy -j .kernel:.config -O binary zImage config.gz
objcopy -j .kernel:initrd -O binary zImage.initrd initrd.gz


	Peter