Build oracle images

Signed-off-by: Paul Chaignon <[email protected]>

Author: pchaigno

.github/workflows/buildx.yaml

@@ -57,7 +57,7 @@ jobs:
         name: kernel versions
         with:
           script: |
-              var all_kernels = ['4.19', '5.4', '5.10', '5.15', '6.1', '6.6', '6.12', 'bpf', 'bpf-net', 'bpf-next', 'rhel8.9', 'rhel8.10' ]
+              var all_kernels = ['bpf-next', 'oracle' ]
               var kernels = []
               const kernel_label_prefix = 'gha-builds/kernel/'
               res = await github.rest.issues.listLabelsOnIssue({
@@ -426,19 +426,6 @@ jobs:
           cat /tmp/image-log >> $GITHUB_ENV
           echo 'EOF' >> $GITHUB_ENV
 
-      - name: comment
-        uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
-        if: ${{ github.event.pull_request.number != '' }}
-        with:
-          script: |
-             const { IMAGE_LOG } = process.env
-             github.rest.issues.createComment({
-               issue_number: context.issue.number,
-               owner: context.repo.owner,
-               repo: context.repo.repo,
-               body: `👋\nHere are the kernel versions for the images:\n${IMAGE_LOG}\n`
-             })
-
   finalize:
     needs: [conf, commit-changes, print_image_kernels]
     runs-on: ubuntu-latest

_data/kernels.json

@@ -16,6 +16,15 @@
                  [ "--enable",  "CONFIG_FUSE_FS"]
             ]
 	},
+        {
+                "name": "oracle",
+                "url": "https://github.com/pchaigno/linux?depth=1#verifier-oracle",
+                "opts": [
+                        ["--disable", "CONFIG_CGROUP_BPF"],
+                        ["--disable", "CONFIG_BPF_LSM"],
+                        ["--enable", "CONFIG_DEBUG_KERNEL"]
+                ]
+        },
 	{
             "name": "bpf-net",
             "url": "git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git?depth=1#net",
@@ -117,11 +126,9 @@
         [ "--enable", "CONFIG_BPF_EVENTS" ],
         [ "--enable", "CONFIG_BPF_JIT_DEFAULT_ON" ],
         [ "--enable", "CONFIG_BPF_JIT" ],
-        [ "--enable", "CONFIG_BPF_LSM" ],
         [ "--enable", "CONFIG_BPF_STREAM_PARSER" ],
         [ "--enable", "CONFIG_BPF_SYSCALL" ],
         [ "--enable", "CONFIG_BPF" ],
-        [ "--enable", "CONFIG_CGROUP_BPF" ],
         [ "--enable", "CONFIG_CGROUP_DEVICE" ],
         [ "--enable", "CONFIG_CGROUP_PIDS" ],
         [ "--enable", "CONFIG_DEBUG_INFO_BTF_MODULES" ],