Usually elliptic operators on manifolds with boundary are not Fredholm without any restriction. When some boundary conditions are imposed it does become Fredholm. The goal will be to "parametrize" the solutions using boundary values. The Calderon projector will be a useful tool in determining which boundary conditions are Fredholm and in finding the index.
