Thanks for pointing that out, should now be fixed. 

Cheers,
Gerwin

On 20.11.2014, at 19:57, XilongPei(裴喜龙) <pei_xilong@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
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.