ci: common kernel build and embed ksud (#127)

2023-01-28 12:24:43 +08:00
parent 0dae6ebaee
commit 905c041a76
10 changed files with 499 additions and 359 deletions
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -8,6 +8,7 @@ obj-y += uid_observer.o
 obj-y += manager.o
 obj-y += core_hook.o
 obj-y += ksud.o
+obj-y += embed_ksud.o

 obj-y += selinux/