I switched from my previous method of building the snickerdoodle device tree to using the snickerdoodle-dts git repo (with many modifications). I managed to get a DTB that mostly works with a bitstream built with Vivado 2017.4, but there are some issues. The most bizarre is that Linux's idea of time now runs at 1/2 real time. That is, a bash command of "sleep 1" will return after two seconds. Other things seem to run at 1/2 speed as well.
How the heck did I do that? And how do I make it stop?
Thanks,
-Nick