make uimage error

Adam Lackorzynski adam at
Sat Sep 12 00:34:15 CEST 2015

On Fri Sep 11, 2015 at 18:01:25 +0000, Shabnam Engineer wrote:
> Thanks for your help , it's OK!but now I don't know which folders should i copy to sd card of raspberry pi ?

The generated images are stored in the 'images' subdirectory of the
build folder.

> I have another question that I want to see output in the monitor, does Fiasco support hdmi driver?


> if no, how can i see that it works well?

By connecting to the UART. There is plenty of info on the net on how to
connect a serial converter to the GPIO header. Unfortunately there's
none mounting directly on the rpi.

> Also I think for hdmi driver i should use l4-linux but when I entered the E entry with  E=L4Linux ARM ,I got this error :*********************************************************************************************************************************
> my command -->
> make uimage E=L4Linux ARM  MODULE_SEARCH_PATH=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/ O=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/

make uimage E="L4Linux ARM" MODULE_SEARCH_PATH=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/ O=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/

Adam                 adam at

More information about the l4-hackers mailing list