## SECTION=hosttools_noprompt

config HOST_ISL
	bool
	select HOST_GMP