Remove obsolete documentation files

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #2

diff --git a/CODING_STYLE.md b/CODING_STYLE.md
deleted file mode 100644 (file)
index 5730041..0000000
--- a/CODING_STYLE.md
+++ /dev/null
@@ -1,4 +0,0 @@
-Coding Style
-============
-
-Please refer to the `CODING_STYLE.md` file in the main Unikraft repository.

diff --git a/MAINTAINERS.md b/MAINTAINERS.md
deleted file mode 100644 (file)
index e0535c0..0000000
--- a/MAINTAINERS.md
+++ /dev/null
@@ -1,11 +0,0 @@
-Maintainers List
-================
-
-For notes on how to read this information, please refer to `MAINTAINERS.md` in
-the main Unikraft repository.
-
-       LIBGOOGLETEST-UNIKRAFT
-       M:      Felipe Huici <felipe.huici@neclab.eu>
-       M:      Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>
-       L:      minios-devel@lists.xen.org
-       F: *