• connect PyNQ at mountdoom, ssh + dhcp
• build custom kernel (MAX_ZONE_ORDER 14, MAX_CM_ZONES 9)
• check LKM build and module
• perform tests with simple bitstreams, tpc_debug
• write setup doc for distribution
• provide ready-to-use images
• run tapasco_benchmark

optional