// SPDX-License-Identifier: GPL-2.0-or-later
/* Copyright (c) 2018 Oracle and/or its affiliates. All Rights Reserved. */

#include <stdio.h>
#include "tst_kernel.h"

int main(int argc, const char *argv[])
{
	const char *name;
	int i;

	if (argc < 2) {
		fprintf(stderr, "Please provide kernel driver list\n");
		return 1;
	}

	for (i = 1; (name = argv[i]); ++i) {
		if (tst_check_driver(name)) {
			fprintf(stderr, "%s", name);
			return 1;
		}
	}

	return 0;
}