Either one should work (although PPP might require some tweaking due to satellite delay). I have used HDLC via satellite many times (low overhead relative to other encpasulations) and it seems to work fine.
Getting Started
Find answers to your questions by entering keywords or phrases in the Search bar above. New here? Use these resources to familiarize yourself with the community: