]> rtime.felk.cvut.cz Git - l4.git/search
Use bootstrap cmdline to tell it about target memory layout. Add print for cmdline...