Reformat to Markdown.
CONTRIBUTING: remove obsolete references, point users at website
README: add a short description
Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Reviewed-by: Radu Nichita <radunichita99@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #3
-Contributing to Unikraft
-=======================
+# Contributing to Unikraft
-Please refer to the `CONTRIBUTING.md` file in the main Unikraft repository.
+Contributions to Unikraft are welcome!
+Please refer to the [Contributing](https://unikraft.org/docs/contributing/) page for further information.
-libintel\_intriniscs for Unikraft
-===================
+# Intel (x86) intrinsics for Unikraft
-Please refer to the `README.md` as well as the documentation in the `doc/`
-subdirectory of the main unikraft repository.
+This is a port of the headers providing compiler intrinsics for x86 architectures.
+A list of these intrinsics can be browsed at [Intel Intrinsics](https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html).
+Normally you would receive these headers together with your compiler, however, due to Unikraft's isolated build environment, we provide them explicitly.
+
+Please refer to `README.md` in the main unikraft repository as well as the [Unikraft Homepage](https://unikraft.org/) for further information.