How the dp83867 configuration is loaded by syscfg file

Hi,

    Now if we enable Enet(CPSW) as belows:

The configuration information with dp83867  is autogenerated in the file ti_board_config.c:

But  in the syscfg file, we can not see any information about dp83867.How  is the dp83867 configuration  loaded by syscfg file? How do they make connections?

Now if  I want to add the DP83TC812R-Q1 drivers, What should we do?

BR,

Rata