My router is peering with my MPLS ISP CE router. I am running OSPF in my internal network and EBGP with my ISP. I want my ISP to advertise his default route via BGP to my router. I will then redistribute his default route via OSPF to my internal network.
My ISP MPLS CE router has a default route IP ROUTE 0.0.0.0 0.0.0.0 nxt_hop_ip. They have REDISTRIBUTE STATIC in his BGP process. I did not test this yet, but will this work as how to advertise the default route to my router? Or does he need to have NETWORK 0.0.0.0 MASK 0.0.0.0 in his BGP process.
Also, I'd like to redistribute just his BGP default route to my OSPF. It looks like, in my BGP to OSPF redistribution, I have to filter out all his BGP routes and only except the default route. How do I do that? Thanks