[master] 4c64c8846 No news from the CHERI front

Poul-Henning Kamp phk at FreeBSD.org
Tue Dec 13 15:33:05 UTC 2022


commit 4c64c88465c03d41d6fcd8c22f346f723310a972
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Tue Dec 13 15:32:10 2022 +0000

    No news from the CHERI front

diff --git a/doc/sphinx/phk/cheri7.rst b/doc/sphinx/phk/cheri7.rst
new file mode 100644
index 000000000..222f1e141
--- /dev/null
+++ b/doc/sphinx/phk/cheri7.rst
@@ -0,0 +1,30 @@
+.. _phk_cheri_7:
+
+How Varnish met CHERI 7/N
+=========================
+
+Not much news
+-------------
+
+I have been occupied with other activities, so there isn't much
+news about CHERI to report, except that I have still not been
+able to find any actual bugs in Varnish with it.
+
+Having spent almost two decades with the quality knob stuck at "11"
+that is how it should be, and there's no denying that I am a little
+bit proud of that.
+
+But it also means I do not have a bug killed, classified and on
+display for the rest of the world to see just how amazing CHERI is,
+and why it should become standard in all computers:  Embedded,
+handheld, servers, development, test and production.
+
+Revisiting obscure corners of Varnish has caused me to commit
+a few of "spit&polish" changes, including an API which should
+have returned ``const`` but did not.
+
+But I have not given up yet, and I will find a good example of what
+CHERI can do, sooner or later, but it may not be in the Varnish
+source code.
+
+*/phk*
diff --git a/doc/sphinx/phk/index.rst b/doc/sphinx/phk/index.rst
index 4b792547e..0aa550b48 100644
--- a/doc/sphinx/phk/index.rst
+++ b/doc/sphinx/phk/index.rst
@@ -13,6 +13,7 @@ You may or may not want to know what Poul-Henning thinks.
 .. toctree::
 	:maxdepth: 1
 
+	cheri7.rst
 	cheri6.rst
 	cheri5.rst
 	cheri4.rst


More information about the varnish-commit mailing list