Use debug DK1 for now.