Regular RPI / RPI2 kernel build does this for you -- simply rename "netbsd.bin" to "kernel.img".

On Tue, 18 Aug 2015, Stephan wrote:

Sorry, I meant objcopy (it was already too late yesterday). I need a kernel.img 
file for the boot partition on
the Pi. Jared said that needs to be extracted from the ELF kernel resulting 
from a regular build.

2015-08-18 12:55 GMT+02:00 Nick Hudson <sk...@netbsd.org>:
      On 08/17/15 19:08, Stephan wrote:
            I have just rebooted with WAPBL enabled. Some quick notes:

            -Sequential write speed is a little lower, around 5,4 MB/s.

            -Creating 1000 files takes 0,25 sec. while almost no xfers happen. 
(It just
            goes to the log I guess).

            -When creating more files (say 10.000), a known issue comes to 
light. One
            CPU core gets utilized 100% in kernel mode while there are almost 
no xfers.
            It takes ages until the operation completes. In contrast, a 
non-WAPBL
            mounted FS experiences many xfers until the drive limit gets hit 
(>100
            xfers/sec.).

            I am pretty certain that there is a regression in WAPBL. Can you 
tell me
            how I can extract a kernel for the Pi using objdump, so I can 
conduct some
            experimentation?


      What do you want to do with objdump?

      Nick




Reply via email to