As Kevin points out, $\pi_1(U)$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2. More generally, in your original question, these are replaced by $\mathcal{O}_K$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These Galois groups are finitely generated by work of Shafarevich ("Extensions with prescribed ramification points") -- in fact, they are $d$-generated, where $d$ is the cardinality of the support of $D$. More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.
The "more complicated" starting point of $\mathcal{O}_K$ is not actually much more complicated (in some sense). You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank.
Ack, have to run. I'm going to come back and elaborate (and possibly proof-read) in the near future.