picasm/device_definitions