1.. SPDX-License-Identifier: GPL-2.0
2
3===========
4Using KUnit
5===========
6
7The purpose of this document is to describe what KUnit is, how it works, how it
8is intended to be used, and all the concepts and terminology that are needed to
9understand it. This guide assumes a working knowledge of the Linux kernel and
10some basic knowledge of testing.
11
12For a high level introduction to KUnit, including setting up KUnit for your
13project, see :doc:`start`.
14
15Organization of this document
16=============================
17
18This document is organized into two main sections: Testing and Common Patterns.
19The first covers what unit tests are and how to use KUnit to write them. The
20second covers common testing patterns, e.g. how to isolate code and make it
21possible to unit test code that was otherwise un-unit-testable.
22
23Testing
24=======
25
26What is KUnit?
27--------------
28
29"K" is short for "kernel" so "KUnit" is the "(Linux) Kernel Unit Testing
30Framework." KUnit is intended first and foremost for writing unit tests; it is
31general enough that it can be used to write integration tests; however, this is
32a secondary goal. KUnit has no ambition of being the only testing framework for
33the kernel; for example, it does not intend to be an end-to-end testing
34framework.
35
36What is Unit Testing?
37---------------------
38
39A `unit test <https://martinfowler.com/bliki/UnitTest.html>`_ is a test that
40tests code at the smallest possible scope, a *unit* of code. In the C
41programming language that's a function.
42
43Unit tests should be written for all the publicly exposed functions in a
44compilation unit; so that is all the functions that are exported in either a
45*class* (defined below) or all functions which are **not** static.
46
47Writing Tests
48-------------
49
50Test Cases
51~~~~~~~~~~
52
53The fundamental unit in KUnit is the test case. A test case is a function with
54the signature ``void (*)(struct kunit *test)``. It calls a function to be tested
55and then sets *expectations* for what should happen. For example:
56
57.. code-block:: c
58
59	void example_test_success(struct kunit *test)
60	{
61	}
62
63	void example_test_failure(struct kunit *test)
64	{
65		KUNIT_FAIL(test, "This test never passes.");
66	}
67
68In the above example ``example_test_success`` always passes because it does
69nothing; no expectations are set, so all expectations pass. On the other hand
70``example_test_failure`` always fails because it calls ``KUNIT_FAIL``, which is
71a special expectation that logs a message and causes the test case to fail.
72
73Expectations
74~~~~~~~~~~~~
75An *expectation* is a way to specify that you expect a piece of code to do
76something in a test. An expectation is called like a function. A test is made
77by setting expectations about the behavior of a piece of code under test; when
78one or more of the expectations fail, the test case fails and information about
79the failure is logged. For example:
80
81.. code-block:: c
82
83	void add_test_basic(struct kunit *test)
84	{
85		KUNIT_EXPECT_EQ(test, 1, add(1, 0));
86		KUNIT_EXPECT_EQ(test, 2, add(1, 1));
87	}
88
89In the above example ``add_test_basic`` makes a number of assertions about the
90behavior of a function called ``add``; the first parameter is always of type
91``struct kunit *``, which contains information about the current test context;
92the second parameter, in this case, is what the value is expected to be; the
93last value is what the value actually is. If ``add`` passes all of these
94expectations, the test case, ``add_test_basic`` will pass; if any one of these
95expectations fails, the test case will fail.
96
97It is important to understand that a test case *fails* when any expectation is
98violated; however, the test will continue running, potentially trying other
99expectations until the test case ends or is otherwise terminated. This is as
100opposed to *assertions* which are discussed later.
101
102To learn about more expectations supported by KUnit, see :doc:`api/test`.
103
104.. note::
105   A single test case should be pretty short, pretty easy to understand,
106   focused on a single behavior.
107
108For example, if we wanted to properly test the add function above, we would
109create additional tests cases which would each test a different property that an
110add function should have like this:
111
112.. code-block:: c
113
114	void add_test_basic(struct kunit *test)
115	{
116		KUNIT_EXPECT_EQ(test, 1, add(1, 0));
117		KUNIT_EXPECT_EQ(test, 2, add(1, 1));
118	}
119
120	void add_test_negative(struct kunit *test)
121	{
122		KUNIT_EXPECT_EQ(test, 0, add(-1, 1));
123	}
124
125	void add_test_max(struct kunit *test)
126	{
127		KUNIT_EXPECT_EQ(test, INT_MAX, add(0, INT_MAX));
128		KUNIT_EXPECT_EQ(test, -1, add(INT_MAX, INT_MIN));
129	}
130
131	void add_test_overflow(struct kunit *test)
132	{
133		KUNIT_EXPECT_EQ(test, INT_MIN, add(INT_MAX, 1));
134	}
135
136Notice how it is immediately obvious what all the properties that we are testing
137for are.
138
139Assertions
140~~~~~~~~~~
141
142KUnit also has the concept of an *assertion*. An assertion is just like an
143expectation except the assertion immediately terminates the test case if it is
144not satisfied.
145
146For example:
147
148.. code-block:: c
149
150	static void mock_test_do_expect_default_return(struct kunit *test)
151	{
152		struct mock_test_context *ctx = test->priv;
153		struct mock *mock = ctx->mock;
154		int param0 = 5, param1 = -5;
155		const char *two_param_types[] = {"int", "int"};
156		const void *two_params[] = {&param0, &param1};
157		const void *ret;
158
159		ret = mock->do_expect(mock,
160				      "test_printk", test_printk,
161				      two_param_types, two_params,
162				      ARRAY_SIZE(two_params));
163		KUNIT_ASSERT_NOT_ERR_OR_NULL(test, ret);
164		KUNIT_EXPECT_EQ(test, -4, *((int *) ret));
165	}
166
167In this example, the method under test should return a pointer to a value, so
168if the pointer returned by the method is null or an errno, we don't want to
169bother continuing the test since the following expectation could crash the test
170case. `ASSERT_NOT_ERR_OR_NULL(...)` allows us to bail out of the test case if
171the appropriate conditions have not been satisfied to complete the test.
172
173Test Suites
174~~~~~~~~~~~
175
176Now obviously one unit test isn't very helpful; the power comes from having
177many test cases covering all of a unit's behaviors. Consequently it is common
178to have many *similar* tests; in order to reduce duplication in these closely
179related tests most unit testing frameworks - including KUnit - provide the
180concept of a *test suite*. A *test suite* is just a collection of test cases
181for a unit of code with a set up function that gets invoked before every test
182case and then a tear down function that gets invoked after every test case
183completes.
184
185Example:
186
187.. code-block:: c
188
189	static struct kunit_case example_test_cases[] = {
190		KUNIT_CASE(example_test_foo),
191		KUNIT_CASE(example_test_bar),
192		KUNIT_CASE(example_test_baz),
193		{}
194	};
195
196	static struct kunit_suite example_test_suite = {
197		.name = "example",
198		.init = example_test_init,
199		.exit = example_test_exit,
200		.test_cases = example_test_cases,
201	};
202	kunit_test_suite(example_test_suite);
203
204In the above example the test suite, ``example_test_suite``, would run the test
205cases ``example_test_foo``, ``example_test_bar``, and ``example_test_baz``;
206each would have ``example_test_init`` called immediately before it and would
207have ``example_test_exit`` called immediately after it.
208``kunit_test_suite(example_test_suite)`` registers the test suite with the
209KUnit test framework.
210
211.. note::
212   A test case will only be run if it is associated with a test suite.
213
214``kunit_test_suite(...)`` is a macro which tells the linker to put the specified
215test suite in a special linker section so that it can be run by KUnit either
216after late_init, or when the test module is loaded (depending on whether the
217test was built in or not).
218
219For more information on these types of things see the :doc:`api/test`.
220
221Common Patterns
222===============
223
224Isolating Behavior
225------------------
226
227The most important aspect of unit testing that other forms of testing do not
228provide is the ability to limit the amount of code under test to a single unit.
229In practice, this is only possible by being able to control what code gets run
230when the unit under test calls a function and this is usually accomplished
231through some sort of indirection where a function is exposed as part of an API
232such that the definition of that function can be changed without affecting the
233rest of the code base. In the kernel this primarily comes from two constructs,
234classes, structs that contain function pointers that are provided by the
235implementer, and architecture-specific functions which have definitions selected
236at compile time.
237
238Classes
239~~~~~~~
240
241Classes are not a construct that is built into the C programming language;
242however, it is an easily derived concept. Accordingly, pretty much every project
243that does not use a standardized object oriented library (like GNOME's GObject)
244has their own slightly different way of doing object oriented programming; the
245Linux kernel is no exception.
246
247The central concept in kernel object oriented programming is the class. In the
248kernel, a *class* is a struct that contains function pointers. This creates a
249contract between *implementers* and *users* since it forces them to use the
250same function signature without having to call the function directly. In order
251for it to truly be a class, the function pointers must specify that a pointer
252to the class, known as a *class handle*, be one of the parameters; this makes
253it possible for the member functions (also known as *methods*) to have access
254to member variables (more commonly known as *fields*) allowing the same
255implementation to have multiple *instances*.
256
257Typically a class can be *overridden* by *child classes* by embedding the
258*parent class* in the child class. Then when a method provided by the child
259class is called, the child implementation knows that the pointer passed to it is
260of a parent contained within the child; because of this, the child can compute
261the pointer to itself because the pointer to the parent is always a fixed offset
262from the pointer to the child; this offset is the offset of the parent contained
263in the child struct. For example:
264
265.. code-block:: c
266
267	struct shape {
268		int (*area)(struct shape *this);
269	};
270
271	struct rectangle {
272		struct shape parent;
273		int length;
274		int width;
275	};
276
277	int rectangle_area(struct shape *this)
278	{
279		struct rectangle *self = container_of(this, struct shape, parent);
280
281		return self->length * self->width;
282	};
283
284	void rectangle_new(struct rectangle *self, int length, int width)
285	{
286		self->parent.area = rectangle_area;
287		self->length = length;
288		self->width = width;
289	}
290
291In this example (as in most kernel code) the operation of computing the pointer
292to the child from the pointer to the parent is done by ``container_of``.
293
294Faking Classes
295~~~~~~~~~~~~~~
296
297In order to unit test a piece of code that calls a method in a class, the
298behavior of the method must be controllable, otherwise the test ceases to be a
299unit test and becomes an integration test.
300
301A fake just provides an implementation of a piece of code that is different than
302what runs in a production instance, but behaves identically from the standpoint
303of the callers; this is usually done to replace a dependency that is hard to
304deal with, or is slow.
305
306A good example for this might be implementing a fake EEPROM that just stores the
307"contents" in an internal buffer. For example, let's assume we have a class that
308represents an EEPROM:
309
310.. code-block:: c
311
312	struct eeprom {
313		ssize_t (*read)(struct eeprom *this, size_t offset, char *buffer, size_t count);
314		ssize_t (*write)(struct eeprom *this, size_t offset, const char *buffer, size_t count);
315	};
316
317And we want to test some code that buffers writes to the EEPROM:
318
319.. code-block:: c
320
321	struct eeprom_buffer {
322		ssize_t (*write)(struct eeprom_buffer *this, const char *buffer, size_t count);
323		int flush(struct eeprom_buffer *this);
324		size_t flush_count; /* Flushes when buffer exceeds flush_count. */
325	};
326
327	struct eeprom_buffer *new_eeprom_buffer(struct eeprom *eeprom);
328	void destroy_eeprom_buffer(struct eeprom *eeprom);
329
330We can easily test this code by *faking out* the underlying EEPROM:
331
332.. code-block:: c
333
334	struct fake_eeprom {
335		struct eeprom parent;
336		char contents[FAKE_EEPROM_CONTENTS_SIZE];
337	};
338
339	ssize_t fake_eeprom_read(struct eeprom *parent, size_t offset, char *buffer, size_t count)
340	{
341		struct fake_eeprom *this = container_of(parent, struct fake_eeprom, parent);
342
343		count = min(count, FAKE_EEPROM_CONTENTS_SIZE - offset);
344		memcpy(buffer, this->contents + offset, count);
345
346		return count;
347	}
348
349	ssize_t fake_eeprom_write(struct eeprom *parent, size_t offset, const char *buffer, size_t count)
350	{
351		struct fake_eeprom *this = container_of(parent, struct fake_eeprom, parent);
352
353		count = min(count, FAKE_EEPROM_CONTENTS_SIZE - offset);
354		memcpy(this->contents + offset, buffer, count);
355
356		return count;
357	}
358
359	void fake_eeprom_init(struct fake_eeprom *this)
360	{
361		this->parent.read = fake_eeprom_read;
362		this->parent.write = fake_eeprom_write;
363		memset(this->contents, 0, FAKE_EEPROM_CONTENTS_SIZE);
364	}
365
366We can now use it to test ``struct eeprom_buffer``:
367
368.. code-block:: c
369
370	struct eeprom_buffer_test {
371		struct fake_eeprom *fake_eeprom;
372		struct eeprom_buffer *eeprom_buffer;
373	};
374
375	static void eeprom_buffer_test_does_not_write_until_flush(struct kunit *test)
376	{
377		struct eeprom_buffer_test *ctx = test->priv;
378		struct eeprom_buffer *eeprom_buffer = ctx->eeprom_buffer;
379		struct fake_eeprom *fake_eeprom = ctx->fake_eeprom;
380		char buffer[] = {0xff};
381
382		eeprom_buffer->flush_count = SIZE_MAX;
383
384		eeprom_buffer->write(eeprom_buffer, buffer, 1);
385		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0);
386
387		eeprom_buffer->write(eeprom_buffer, buffer, 1);
388		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[1], 0);
389
390		eeprom_buffer->flush(eeprom_buffer);
391		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0xff);
392		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[1], 0xff);
393	}
394
395	static void eeprom_buffer_test_flushes_after_flush_count_met(struct kunit *test)
396	{
397		struct eeprom_buffer_test *ctx = test->priv;
398		struct eeprom_buffer *eeprom_buffer = ctx->eeprom_buffer;
399		struct fake_eeprom *fake_eeprom = ctx->fake_eeprom;
400		char buffer[] = {0xff};
401
402		eeprom_buffer->flush_count = 2;
403
404		eeprom_buffer->write(eeprom_buffer, buffer, 1);
405		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0);
406
407		eeprom_buffer->write(eeprom_buffer, buffer, 1);
408		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0xff);
409		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[1], 0xff);
410	}
411
412	static void eeprom_buffer_test_flushes_increments_of_flush_count(struct kunit *test)
413	{
414		struct eeprom_buffer_test *ctx = test->priv;
415		struct eeprom_buffer *eeprom_buffer = ctx->eeprom_buffer;
416		struct fake_eeprom *fake_eeprom = ctx->fake_eeprom;
417		char buffer[] = {0xff, 0xff};
418
419		eeprom_buffer->flush_count = 2;
420
421		eeprom_buffer->write(eeprom_buffer, buffer, 1);
422		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0);
423
424		eeprom_buffer->write(eeprom_buffer, buffer, 2);
425		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[0], 0xff);
426		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[1], 0xff);
427		/* Should have only flushed the first two bytes. */
428		KUNIT_EXPECT_EQ(test, fake_eeprom->contents[2], 0);
429	}
430
431	static int eeprom_buffer_test_init(struct kunit *test)
432	{
433		struct eeprom_buffer_test *ctx;
434
435		ctx = kunit_kzalloc(test, sizeof(*ctx), GFP_KERNEL);
436		KUNIT_ASSERT_NOT_ERR_OR_NULL(test, ctx);
437
438		ctx->fake_eeprom = kunit_kzalloc(test, sizeof(*ctx->fake_eeprom), GFP_KERNEL);
439		KUNIT_ASSERT_NOT_ERR_OR_NULL(test, ctx->fake_eeprom);
440		fake_eeprom_init(ctx->fake_eeprom);
441
442		ctx->eeprom_buffer = new_eeprom_buffer(&ctx->fake_eeprom->parent);
443		KUNIT_ASSERT_NOT_ERR_OR_NULL(test, ctx->eeprom_buffer);
444
445		test->priv = ctx;
446
447		return 0;
448	}
449
450	static void eeprom_buffer_test_exit(struct kunit *test)
451	{
452		struct eeprom_buffer_test *ctx = test->priv;
453
454		destroy_eeprom_buffer(ctx->eeprom_buffer);
455	}
456
457Testing against multiple inputs
458-------------------------------
459
460Testing just a few inputs might not be enough to have confidence that the code
461works correctly, e.g. for a hash function.
462
463In such cases, it can be helpful to have a helper macro or function, e.g. this
464fictitious example for ``sha1sum(1)``
465
466.. code-block:: c
467
468	/* Note: the cast is to satisfy overly strict type-checking. */
469	#define TEST_SHA1(in, want) \
470		sha1sum(in, out); \
471		KUNIT_EXPECT_STREQ_MSG(test, (char *)out, want, "sha1sum(%s)", in);
472
473	char out[40];
474	TEST_SHA1("hello world",  "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed");
475	TEST_SHA1("hello world!", "430ce34d020724ed75a196dfc2ad67c77772d169");
476
477
478Note the use of ``KUNIT_EXPECT_STREQ_MSG`` to give more context when it fails
479and make it easier to track down. (Yes, in this example, ``want`` is likely
480going to be unique enough on its own).
481
482The ``_MSG`` variants are even more useful when the same expectation is called
483multiple times (in a loop or helper function) and thus the line number isn't
484enough to identify what failed, like below.
485
486In some cases, it can be helpful to write a *table-driven test* instead, e.g.
487
488.. code-block:: c
489
490	int i;
491	char out[40];
492
493	struct sha1_test_case {
494		const char *str;
495		const char *sha1;
496	};
497
498	struct sha1_test_case cases[] = {
499		{
500			.str = "hello world",
501			.sha1 = "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed",
502		},
503		{
504			.str = "hello world!",
505			.sha1 = "430ce34d020724ed75a196dfc2ad67c77772d169",
506		},
507	};
508	for (i = 0; i < ARRAY_SIZE(cases); ++i) {
509		sha1sum(cases[i].str, out);
510		KUNIT_EXPECT_STREQ_MSG(test, (char *)out, cases[i].sha1,
511		                      "sha1sum(%s)", cases[i].str);
512	}
513
514
515There's more boilerplate involved, but it can:
516
517* be more readable when there are multiple inputs/outputs thanks to field names,
518
519  * E.g. see ``fs/ext4/inode-test.c`` for an example of both.
520* reduce duplication if test cases can be shared across multiple tests.
521
522  * E.g. if we wanted to also test ``sha256sum``, we could add a ``sha256``
523    field and reuse ``cases``.
524
525* be converted to a "parameterized test", see below.
526
527Parameterized Testing
528~~~~~~~~~~~~~~~~~~~~~
529
530The table-driven testing pattern is common enough that KUnit has special
531support for it.
532
533Reusing the same ``cases`` array from above, we can write the test as a
534"parameterized test" with the following.
535
536.. code-block:: c
537
538	// This is copy-pasted from above.
539	struct sha1_test_case {
540		const char *str;
541		const char *sha1;
542	};
543	struct sha1_test_case cases[] = {
544		{
545			.str = "hello world",
546			.sha1 = "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed",
547		},
548		{
549			.str = "hello world!",
550			.sha1 = "430ce34d020724ed75a196dfc2ad67c77772d169",
551		},
552	};
553
554	// Need a helper function to generate a name for each test case.
555	static void case_to_desc(const struct sha1_test_case *t, char *desc)
556	{
557		strcpy(desc, t->str);
558	}
559	// Creates `sha1_gen_params()` to iterate over `cases`.
560	KUNIT_ARRAY_PARAM(sha1, cases, case_to_desc);
561
562	// Looks no different from a normal test.
563	static void sha1_test(struct kunit *test)
564	{
565		// This function can just contain the body of the for-loop.
566		// The former `cases[i]` is accessible under test->param_value.
567		char out[40];
568		struct sha1_test_case *test_param = (struct sha1_test_case *)(test->param_value);
569
570		sha1sum(test_param->str, out);
571		KUNIT_EXPECT_STREQ_MSG(test, (char *)out, test_param->sha1,
572				      "sha1sum(%s)", test_param->str);
573	}
574
575	// Instead of KUNIT_CASE, we use KUNIT_CASE_PARAM and pass in the
576	// function declared by KUNIT_ARRAY_PARAM.
577	static struct kunit_case sha1_test_cases[] = {
578		KUNIT_CASE_PARAM(sha1_test, sha1_gen_params),
579		{}
580	};
581
582.. _kunit-on-non-uml:
583
584KUnit on non-UML architectures
585==============================
586
587By default KUnit uses UML as a way to provide dependencies for code under test.
588Under most circumstances KUnit's usage of UML should be treated as an
589implementation detail of how KUnit works under the hood. Nevertheless, there
590are instances where being able to run architecture-specific code or test
591against real hardware is desirable. For these reasons KUnit supports running on
592other architectures.
593
594Running existing KUnit tests on non-UML architectures
595-----------------------------------------------------
596
597There are some special considerations when running existing KUnit tests on
598non-UML architectures:
599
600*   Hardware may not be deterministic, so a test that always passes or fails
601    when run under UML may not always do so on real hardware.
602*   Hardware and VM environments may not be hermetic. KUnit tries its best to
603    provide a hermetic environment to run tests; however, it cannot manage state
604    that it doesn't know about outside of the kernel. Consequently, tests that
605    may be hermetic on UML may not be hermetic on other architectures.
606*   Some features and tooling may not be supported outside of UML.
607*   Hardware and VMs are slower than UML.
608
609None of these are reasons not to run your KUnit tests on real hardware; they are
610only things to be aware of when doing so.
611
612The biggest impediment will likely be that certain KUnit features and
613infrastructure may not support your target environment. For example, at this
614time the KUnit Wrapper (``tools/testing/kunit/kunit.py``) does not work outside
615of UML. Unfortunately, there is no way around this. Using UML (or even just a
616particular architecture) allows us to make a lot of assumptions that make it
617possible to do things which might otherwise be impossible.
618
619Nevertheless, all core KUnit framework features are fully supported on all
620architectures, and using them is straightforward: all you need to do is to take
621your kunitconfig, your Kconfig options for the tests you would like to run, and
622merge them into whatever config your are using for your platform. That's it!
623
624For example, let's say you have the following kunitconfig:
625
626.. code-block:: none
627
628	CONFIG_KUNIT=y
629	CONFIG_KUNIT_EXAMPLE_TEST=y
630
631If you wanted to run this test on an x86 VM, you might add the following config
632options to your ``.config``:
633
634.. code-block:: none
635
636	CONFIG_KUNIT=y
637	CONFIG_KUNIT_EXAMPLE_TEST=y
638	CONFIG_SERIAL_8250=y
639	CONFIG_SERIAL_8250_CONSOLE=y
640
641All these new options do is enable support for a common serial console needed
642for logging.
643
644Next, you could build a kernel with these tests as follows:
645
646
647.. code-block:: bash
648
649	make ARCH=x86 olddefconfig
650	make ARCH=x86
651
652Once you have built a kernel, you could run it on QEMU as follows:
653
654.. code-block:: bash
655
656	qemu-system-x86_64 -enable-kvm \
657			   -m 1024 \
658			   -kernel arch/x86_64/boot/bzImage \
659			   -append 'console=ttyS0' \
660			   --nographic
661
662Interspersed in the kernel logs you might see the following:
663
664.. code-block:: none
665
666	TAP version 14
667		# Subtest: example
668		1..1
669		# example_simple_test: initializing
670		ok 1 - example_simple_test
671	ok 1 - example
672
673Congratulations, you just ran a KUnit test on the x86 architecture!
674
675In a similar manner, kunit and kunit tests can also be built as modules,
676so if you wanted to run tests in this way you might add the following config
677options to your ``.config``:
678
679.. code-block:: none
680
681	CONFIG_KUNIT=m
682	CONFIG_KUNIT_EXAMPLE_TEST=m
683
684Once the kernel is built and installed, a simple
685
686.. code-block:: bash
687
688	modprobe example-test
689
690...will run the tests.
691
692.. note::
693   Note that you should make sure your test depends on ``KUNIT=y`` in Kconfig
694   if the test does not support module build.  Otherwise, it will trigger
695   compile errors if ``CONFIG_KUNIT`` is ``m``.
696
697Writing new tests for other architectures
698-----------------------------------------
699
700The first thing you must do is ask yourself whether it is necessary to write a
701KUnit test for a specific architecture, and then whether it is necessary to
702write that test for a particular piece of hardware. In general, writing a test
703that depends on having access to a particular piece of hardware or software (not
704included in the Linux source repo) should be avoided at all costs.
705
706Even if you only ever plan on running your KUnit test on your hardware
707configuration, other people may want to run your tests and may not have access
708to your hardware. If you write your test to run on UML, then anyone can run your
709tests without knowing anything about your particular setup, and you can still
710run your tests on your hardware setup just by compiling for your architecture.
711
712.. important::
713   Always prefer tests that run on UML to tests that only run under a particular
714   architecture, and always prefer tests that run under QEMU or another easy
715   (and monetarily free) to obtain software environment to a specific piece of
716   hardware.
717
718Nevertheless, there are still valid reasons to write an architecture or hardware
719specific test: for example, you might want to test some code that really belongs
720in ``arch/some-arch/*``. Even so, try your best to write the test so that it
721does not depend on physical hardware: if some of your test cases don't need the
722hardware, only require the hardware for tests that actually need it.
723
724Now that you have narrowed down exactly what bits are hardware specific, the
725actual procedure for writing and running the tests is pretty much the same as
726writing normal KUnit tests. One special caveat is that you have to reset
727hardware state in between test cases; if this is not possible, you may only be
728able to run one test case per invocation.
729
730.. TODO(brendanhiggins@google.com): Add an actual example of an architecture-
731   dependent KUnit test.
732
733KUnit debugfs representation
734============================
735When kunit test suites are initialized, they create an associated directory
736in ``/sys/kernel/debug/kunit/<test-suite>``.  The directory contains one file
737
738- results: "cat results" displays results of each test case and the results
739  of the entire suite for the last test run.
740
741The debugfs representation is primarily of use when kunit test suites are
742run in a native environment, either as modules or builtin.  Having a way
743to display results like this is valuable as otherwise results can be
744intermixed with other events in dmesg output.  The maximum size of each
745results file is KUNIT_LOG_SIZE bytes (defined in ``include/kunit/test.h``).
746