demo: clean-up the directory

9 files changed, 0 insertions, 133 deletions

diff --git a/demo/.mknod.hjson.swp b/demo/.mknod.hjson.swp
deleted file mode 100644
index 4ca49a8..0000000
--- a/demo/.mknod.hjson.swp
+++ /dev/null
diff --git a/demo/bpf b/demo/bpf
deleted file mode 100644
index ad1fbf9..0000000
--- a/demo/bpf
+++ /dev/null
diff --git a/demo/connect.hjson.license b/demo/connect.hjson.license
deleted file mode 100644
index d2abc50..0000000
--- a/demo/connect.hjson.license
+++ /dev/null
@@ -1,2 +0,0 @@
-SPDX-FileCopyrightText: 2023 Red Hat GmbH <sbrivio@redhat.com>
-SPDX-License-Identifier: GPL-2.0-or-later
diff --git a/demo/connect1.hjson b/demo/connect1.hjson
deleted file mode 100644
index 3469fc2..0000000
--- a/demo/connect1.hjson
+++ /dev/null
@@ -1,8 +0,0 @@
-[
-  { /* fake connect syscall */
-    "match": [
-      { "connect": { "addr": { "family": "unix", "path": "/fake.sock" } } }
-    ],
-    "return": 0
-  }
-]
diff --git a/demo/mknod.bp b/demo/mknod.bp
deleted file mode 100644
index 500cbce..0000000
--- a/demo/mknod.bp
+++ /dev/null
diff --git a/demo/mknod.hjson.bak b/demo/mknod.hjson.bak
deleted file mode 100644
index 7055aee..0000000
--- a/demo/mknod.hjson.bak
+++ /dev/null
@@ -1,33 +0,0 @@
-[
-  {
-    "match": [ /* Giuseppe's example */
-      { "mknodat":
-        { "path": { "tag": "path" },
-          "mode": { "tag": "mode" },
-          "type": { "tag": "type" },
-          "major": 1,
-          "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
-        }
-      },
-      { "mknod":
-        { "path": { "tag": "path" },
-          "mode": { "tag": "mode" },
-          "type": { "tag": "type" },
-          "major": 1,
-          "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
-        }
-      }
-    ],
-    "call":
-      { "mknod":
-        { "path": { "tag": { "get": "path" } },
-          "mode": { "tag": { "get": "mode" } },
-          "type": { "tag": { "get": "type" } },
-          "major": 1,
-          "minor": { "tag": { "get": "minor" } }
-        },
-        "context": { "mnt": "caller" }
-      },
-    "return": { "value": 0 }
-  }
-]
diff --git a/demo/mknod_cont.hjson b/demo/mknod_cont.hjson
deleted file mode 100644
index 71f41d0..0000000
--- a/demo/mknod_cont.hjson
+++ /dev/null
@@ -1,63 +0,0 @@
-[
-  {
-    "match": [
-      { "mknodat":
-        { "path": { "tag": "path" },
-          "mode": { "tag": "mode" },
-          "type": { "tag": "type" },
-          "major": 1,
-          "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
-        }
-      },
-      { "mknod":
-        { "path": { "tag": "path" },
-          "mode": { "tag": "mode" },
-          "type": { "tag": "type" },
-          "major": 1,
-          "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
-        }
-      }
-    ],
-    "call":
-      { "mknod":
-        { "path": { "tag": { "get": "path" } },
-          "mode": { "tag": { "get": "mode" } },
-          "type": { "tag": { "get": "type" } },
-          "major": 1,
-          "minor": { "tag": { "get": "minor" } }
-        },
-        "ret": "x",
-        "context": { "user": "init", "mnt": "caller" }
-      },
-    "return": { "tag": "x" }
-  }
-]
-
-/*
- * INTFLAGS, LONGFLAGS, U32FLAGS
- *
- * "field": { "in": [ "ipc", "mount", "uts" ] }
- *   flags & set
- *   !!(flags & (ipc | mount | ns))
- *
- * "field": { "all": [ "ipc", "mount", "uts" ] }
- *   flags & set == set
- *   flags & (ipc | mount | ns) == (ipc | mount | ns)
- *
- * "field": { "not": [ "ipc", "mount", "uts" ] }
- *   !(flags & set)
- *
- * "field": { "ipc": false, "mount": true, "uts": false }
- *   flags & set == set
- *   !(flags & ipc) && (flags & mount) && !(flags & utc)
- *
- * "field": { "ipc" }
- *   flags == ipc
- *
- * INTMASK
- *   value = (target value & known values)
- *
- * INT, LONG, U32
- *   "arg": { "in": [ 0, 1 ] }
- *   arg == 0 || arg == 1
- */
diff --git a/demo/read.hjson b/demo/read.hjson
deleted file mode 100644
index 071ce3a..0000000
--- a/demo/read.hjson
+++ /dev/null
@@ -1,13 +0,0 @@
-[
-  {
-    "match": [
-      { "read": { "path": "/tmp/abcd2", "buf": { "tag": "buf" }, "count": { "tag": "count" } } }
-    ],
-    "call": [
-      { "open": { "path": "/tmp/abcd", "flags": "rdonly", "mode": 0 }, "ret": "new_fd" },
-      { "read": { "fd": { "tag": { "get": "new_fd" } }, "buf": { "tag": { "set": "new" } }, "count": { "tag": { "get": "count" } } }, "ret": "n" }
-    ],
-    "write": { "src": "new", "dst": "buf", "count": "n" },
-    "return": { "value": { "tag": "n" } }
-  }
-]
diff --git a/demo/socket.hjson b/demo/socket.hjson
deleted file mode 100644
index c5ddfdb..0000000
--- a/demo/socket.hjson
+++ /dev/null
@@ -1,14 +0,0 @@
-[
-  {
-    "match": [
-      { "socket": { "family": "unix" } }
-    ],
-    "return": {"continue": true }
-  },
-  {
-    "match": [
-      { "socket": {} }
-    ],
-    "return": {"error": -1, "value": 0 }
-  }
-]