Thanks for pointing that out, should now be fixed.

Cheers,
Gerwin

On 20.11.2014, at 19:57, XilongPei(裴喜龙) 
<pei_xil...@tongji.edu.cn<mailto:pei_xil...@tongji.edu.cn>> wrote:

Hi,
         Who wrote the program in file 
$/libplatsupport/plat_include/omap4/platsupport/plat/gpt_constants.h , 
GPT4_DEFICE_PADDR is wrong spelled, it should be GPT1_DEVICE_PADDR.


static void *paddrs[] = {(void *) GPT1_DEVICE_PADDR,


                         (void *) GPT2_DEFICE_PADDR,


                         (void *) GPT3_DEFICE_PADDR,


                         (void *) GPT4_DEFICE_PADDR,


                         (void *) GPT5_DEFICE_PADDR,


                         (void *) GPT6_DEFICE_PADDR,


                         (void *) GPT7_DEFICE_PADDR,


                         (void *) GPT8_DEFICE_PADDR,


                         (void *) GPT9_DEFICE_PADDR,


                         (void *) GPT10_DEFICE_PADDR,


                         (void *) GPT11_DEFICE_PADDR};





         Xilong Pei
         Tongji University
         2014/11/19

_______________________________________________
Devel mailing list
Devel@sel4.systems<mailto:Devel@sel4.systems>
https://sel4.systems/lists/listinfo/devel


________________________________

The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to