Add Madison's kernel and Chip's external tools.