In this paper we work out explicit Lagrangians describing superpotenti
al coupling to the boundary of a five-dimensional orientifold, as rele
vant to a number of quasi-realistic models of nature. We also make a n
umber of general comments on orientifold compactifications of M-theory
. (C) 1998 Elsevier Science B.V.