MX6Q SABRELITE U-Boot > bootm 10800000
## Booting kernel from Legacy Image at 10800000 ...
   Image Name:   

   Image Type:   ARM Linux Kernel Image (gzip compressed)
   Data Size:    1977409 Bytes =  1.9 MB
   Load Address: 10001000
   Entry Point:  10001e ... OK

Starting kernel ...

int main(): --- create local services ---

int main(): --- start init ---
int main(): transferred 1019int main(): --- init created, waiting for exit condition ---
[init] Could not open file "ld.lib.so"
[init] nitpicker: no route to service "Framebuffer"

[init -> nitpicker] C++ runtime: Genode::Parent::Service_denied
[init -> nitpicker] void* abort(): abort called
[init -> launchpad] Could not open file "ld.lib.so"

wheather is the expected output? 

Thanks