> configure the onboard ex1 as needed.  My problem is that when I'm not docked my
> onboard comes up as ex0 and gets my corporate LAN settings.  I'm currently
> working around that by hard coding the 'dev' flag in my conf file:
>
>
> ex0     at pci? dev 13 function ?
> ex1     at pci? dev 16 function ?
> ex*     at pci? dev ? function ?
>  Is this the right way to do things? What do the dev numbers mean anyway?  Are

yes exactly it's the right way. you may hardcode everything if you wish
(including pci bus numbers etc.) - i like to do it.