Port-arm archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: how to build src/release/evbarm/binary/kernel/netbsd-RPI.bin.gz?



On 11/25/15 03:46 PM, Hubert Feyrer wrote:

Yes, seriously.
"build.sh kernel=RPI" and "build.sh "releasekernel=RPI" only gives me .../netbsd-RPI.gz, but what is the magic to build netbsd-RPI.bin.gz?

I know a full "build.sh release" does it, but that's a LOT of overhead.

What I try to do is build a RPI disk image (cd etc ; nbmake-evbarm smp_rpi), which needs the *.bin.* file.

Any clues?


I'm not sure there's a build.sh target to put the .bin.gz in the release directory, but the "kernel=RPI" part should be building a "netbsd.bin" in the kernel build directory, which you can use.

+j



Home | Main Index | Thread Index | Old Index