User Tools

Site Tools


(linux) Kernel notes

these are the linux notes, for xnu(darwin) see OsX Kernel

some notes on building + installing linux kernels for debian-powerpc

required packages

  • kernel-source
  • kernel-package
  • ?


  • from BenH tree (ppc maintainer?)
    • rsync -arvz –delete /usr/src/.
  • from mvista linuxppc tree
    • rsync -avz –delete /usr/src/.

optional packages

  • mol-modules-source (for mac-on-linux support)

example using 2.4.12 kernel

bash# cd /usr/src/kernel-source-2.4.12
bash# make xconfig         [alt: make menuconfig]
 (OSS+ dma support compiled in, persistent dma buffers)
bash# make-kpkg clean
bash# make-kpkg --added_modules mol --revision=2.4.12.zzk kernel_image
  (wait for kernel-image .deb to be built)
bash# cd ..
bash# dpkg -i kernel-image-2.4.12_2.4.12.zzk_powerpc.deb
bash# mount -t hfs /dev/hda11 /mnt/mould/
bash# cp /boot/vmlinux-2.4.12 /mnt/mould/Systemordner/Linux\ Kernels/.
bash# reboot
  (change default kernel)

or the kernel + modules images can be built/installed seperately

bash# make-kpkg --revision 2.4.12.zzk kernel_image
   (then install the .deb as above)

bash# make-kpkg modules_image
   (then install the .deb as above)

cross compiling an ARM-linux kernel

# make menuconfig
# make dep
# make bzImage
# make modules
# make modules_install INSTALL_MOD_PATH=/usr/src/arm/

installing the kernel + modules

press Enter to enter the bootloader. You should see the IBoot> prompt.

Initialize the RAM with the command

setbyte 0xc0000000 0xff 0x1000000 

Download the kernel from the TFTP server with the command

download tftp:<IP address of the TFTP server> <kernel-image-path> 0xc0000000

Copy the kernel from RAM to flash memory with the command

flash 0x60000 0xc0000000 0x100000

When the image has finished flashing, type


see Cerf Notes (or IPaq Notes ) for more instructions on transfering

kernel_notes.txt · Last modified: 2007/06/12 14:56 (external edit)