Setup infrastructure for analyzing ChiboOS