this repo has no description
patrick.sirref.org
1CWD=../_build/default/examples
2
3build:
4 dune build
5
6minimal: build
7 sudo $(CWD)/minimal.exe
8
9kprobe: build
10 sudo $(CWD)/kprobe.exe
11
12tc: build
13 sudo $(CWD)/tc.exe
14
15bootstrap: build
16 sudo $(CWD)/bootstrap.exe
17
18bootstrap_c: build
19 sudo $(CWD)/bootstrap_c.exe
20
21clean:
22 dune clean
23 rm vmlinux.h