Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
teclis High Elf
teclis.high.elf at gmail.com
Wed Nov 19 14:31:03 CET 2014
Hi, I got a 404 error :
The file you're looking for has been moved or deleted.
When I tried to access:
On Wed, Nov 19, 2014 at 6:20 AM, Martin Schröder <
martin.schroeder at openlimit.com> wrote:
> Am 18.11.2014 um 18:55 schrieb Mahdi Aichouch:
>> Hello Adam,
>> I used this command line to compile the fiasco kernel and l4re.
>> $> make -j 4 BOOTSTRAP_NO_STRIP=y PLATFORM_TYPE=imx6 PLATFORM_UART_NR=1
>> I also added all these options to the src/l4/conf/Makeconf.boot
>> But when I debug bootstrap_hello.elf binary, I still see that the
>> uart_pl011.c that is used.
>> As we can see in the attached config.all file the platform type is
>> configured to i.mx6
>> Do you have any idea.
>> Thank you very much.
>> Best regards,
> You should check this
> and also have a look into this thread
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers