Redistribution
interface create ip pos3/1 address-netmask 10.1.1.1/30 port so.3.1
interface create ip fe1/1 address-netmask 12.1.1.2/24 port et.1.1
interface create ip gi2/1 address-netmask 192.168.2.1/24 port gi.2.1
interface add ip lo0 address-netmask 13.1.1.2/32
ip-router global set router-id 13.1.1.2
ospf add interface pos3/1 to-area 0.0.0.0
isis set system-id 0000.0000.0002
ip-router policy redistribute from-proto direct to-proto ospf
ip-router policy redistribute from-proto isis-level-2 to-proto ospf
ip-router policy redistribute from-proto direct to-proto isis-level-2
ip-router policy redistribute from-proto ospf-ase to-proto isis-level-2