Cleanup (#89)

Signed-off-by: Dave Thaler <dthaler@ntdev.microsoft.com>
microsoft · Apr 25, 2021 · 762e259 · 762e259
1 parent a3d1f7f
commit 762e259
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 18 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,8 @@
 # eBPF on Windows
 
 eBPF is a well-known technology for providing programmability and agility, especially for extending an
-OS kernel, for use cases such as DoS protection and observability. This project allows using existing eBPF
+OS kernel, for use cases such as DoS protection and observability. This project is a work-in-progress that
+allows using existing eBPF
 toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows.  That is, this project
 takes existing eBPF projects (as submodules) and adds the layer in between to make them run on top of Windows.
 

diff --git a/external/ebpf-verifier b/external/ebpf-verifier
diff --git a/owners.txt b/owners.txt
diff --git a/repo.config b/repo.config
+1 −1		ebpf-samples
+7 −1		src/asm_ostream.cpp
+7 −1		src/asm_syntax.hpp
+1 −2		src/assertions.cpp
+31 −24		src/crab/ebpf_domain.hpp
+1 −0		src/test/test_verify.cpp