Arduino Zero

I wonder how the Atmel proprietary debugging chip is going to fit in with the open-source philosophy?