Re: making debs for u-boot kernels

[Stefan Monnier <monnier@iro.umontreal.ca>]

> So what tools do I use to build an installable kernel deb for a u-boot 
> system?

I'm not sure what you mean.

My BananaPi here uses the stock Debian kernels without any trouble.
Both the vmlinuz and the dtb files are read as-is by U-Boot.
The only thing I need to do is to package the initrd using `mkimage`
(found in `u-boot-tools`).

See the /boot/GNUmakefile I use to help me do that, below


        Stefan


# Make it so that `make` checks the timestamp of symlinks as well.
MAKEFLAGS += -L

MACHINE = $(shell set -- $$(tr '\0' '\n' < /proc/device-tree/compatible | sed 's/.*,//'); echo "$$2-$$1")
VERSION := $(shell ls -l vmlinuz | sed 's/.* -> vmlinuz-//')

LN = ln -sf
CP = cp

all: boot.scr uinitrd.img $(MACHINE).dtb

boot.scr: boot.cmd
        mkimage -C none -A arm -T script -d $< $@

uinitrd.img: uinitrd.img-$(VERSION) vmlinuz
        $(LN) "$<" "$@"

uinitrd.img-%: initrd.img-%
        mkimage -A arm -T ramdisk -C none -n uInitrd -d "$<" "$@"

$(MACHINE).dtb: $(MACHINE)-$(VERSION).dtb vmlinuz
        $(LN) "$<" "$@"

$(MACHINE)-$(VERSION).dtb: /usr/lib/linux-image-$(VERSION)/$(MACHINE).dtb
        $(CP) "$<" "$@"