Fabiano Fidêncio 80c68b80a8 kernel: Deduplicate code used for building TEE kernels ...

There's no need to have the entire function for building SEV / TDX
duplicated.

Let's remove those functions and create a `get_tee_kernel()` which takes
the TEE as the argument.

Fixes: #4627

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

2022-07-11 13:25:17 +02:00

..

osbuilder

tools/snap: simplify nproc

2022-07-06 15:04:08 -07:00

packaging

kernel: Deduplicate code used for building TEE kernels

2022-07-11 13:25:17 +02:00