add_idl(wsldevicehostidl "${WSL_VIRTIO_NET_IDL_PATH}" "")

set_target_properties(wsldevicehostidl PROPERTIES FOLDER windows)
