diff --git a/_layouts/post-sensor-watch.html b/_layouts/post-sensor-watch.html index e430aa5..6f1ab5a 100644 --- a/_layouts/post-sensor-watch.html +++ b/_layouts/post-sensor-watch.html @@ -200,7 +200,7 @@
-

{{ page.title }}

+

{{ page.title }}[ homepage ]

{{ content }} diff --git a/_layouts/post.html b/_layouts/post.html index f9438db..faa8632 100644 --- a/_layouts/post.html +++ b/_layouts/post.html @@ -3,7 +3,7 @@ layout: default ---
-

{{ page.title }}

+

{{ page.title }}[ homepage ]

{{ content }} diff --git a/_posts/cheri/2022-11-19-cheri.md b/_posts/cheri/2022-11-19-cheri.md index 667e852..c4c99a3 100644 --- a/_posts/cheri/2022-11-19-cheri.md +++ b/_posts/cheri/2022-11-19-cheri.md @@ -208,7 +208,10 @@ fundamental to the idea of capabilities is their _provenance_ and _monotonicity_ {% highlight plaintext %} (gdb) runStarting program: /root/ptrs_as_numbers-cheribsd *x=1234 -Program received signal SIGPROT, CHERI protection violation.Capability tag fault caused by register ca1.0x0000000000101c66 in main () at ptrs_as_numbers.c:1414 printf("*x=%d\n", *x); +Program received signal SIGPROT, CHERI protection violation. +Capability tag fault caused by register ca1. +0x0000000000101c66 in main () at ptrs_as_numbers.c:1414 + printf("*x=%d\n", *x); (gdb) p $ca1 $1 = () 0x3fffdfff74 {% endhighlight %} diff --git a/_sass/main.scss b/_sass/main.scss index 3865d38..b105867 100644 --- a/_sass/main.scss +++ b/_sass/main.scss @@ -102,6 +102,24 @@ li { .header-link { display: inline-block; } + + h1 { + display: flex; + justify-content: space-between; + + @media screen and (max-width: 450px) { + display: block; + + .home-link { + display: block; + } + } + + .home-link { + font-size: 0.5em; + color: $body-color; + } + } } table {