Pollux JTAG with Wiggler

Introduction

For now I'm just going to dump my configuration files here that I use to debug the kernel. To speed up the debug process, I use Micromon to load the kernel to memory, rather than waiting on the slow Wiggler.