Depends on what time of day you're traveling. One leaves on average of about every 40 minutes or so
depending what side your on https://www.wsdot.com/ferries/schedule/scheduledetailbyroute.aspx?route=ed-king
Thanks! Your answer is awaiting moderation.