Given a class of conformally compact Einstein manifolds with boundary, we are interested to study the boundary behavior of their compactified metrics. I will report some joint work with Yuxin Ge on a compactness result in a 3+1 setting, which is a study of some 4th order elliptic system with some matching 3rd order boundary conditions and the correponding choice of conformal representatives.