tree b0da61d33b12760627a445ccde62e2b5d980e47b
parent 049c59b6cc05c3bc586f237505664c929bfa5258
author Kristofer Jonsson <kristofer.jonsson@arm.com> 1636385252 +0100
committer Kristofer Jonsson <kristofer.jonsson@arm.com> 1636619166 +0100

Documentation updates

Adding note about that a configured Linux kernel source tree is
required to build the kernel drivers.

Change-Id: I3a4c7fd20e24731864b768051f2ce1f5714b5535