Fabiano Fidêncio 8a6533501f build: export kernel_version to be used with its build script ...

Now that we're caching the kernel, we're relying on the kernel version
being exported.  This is already done for the CC kernel, but not for the
TEE specific ones.

Fixes: #5770

Signed-off-by: Fabiano Fidêncio <fabiano.fidencio@intel.com>

2022-11-25 13:50:17 +01:00

..

osbuilder

osbuilder: Remove non-needed packages at the end

2022-11-03 11:35:45 +01:00

packaging

build: export kernel_version to be used with its build script

2022-11-25 13:50:17 +01:00