.

Technology

@@ -94,16 +94,15 @@ immensly.
 As example, the lines of code of the [Bitcoin Piñata](/Projects/Pinata) compared
 to a Linux and OpenSSL based one:
 
-   | Linux | MirageOS
--- | -- | --
-Kernel | 1600 | 48
-Runtime | 689 | 25
-Crypto | 230 | 23
-TLS | 41 | 6
--- | -- | --
-Total | 2560 | 102
+<table border=0>
+<tr><th></th><th>Linux</th><th>MirageOS</th></tr>
+<tr><td>Kernel</td><td>1600</td><td>48</td></tr>
+<tr><td>Runtime</td><td>689</td><td>25</td></tr>
+<tr><td>Crypto</td><td>230</td><td>23</td></tr>
+<tr><td>TLS</td><td>41</td><td>6</td></tr>
+<tr><td>Total</td><td>2560</td><td>102</td></tr>
+</table>
 
-TODO: Example: lines of code / binary size fuer zb dns server / dhcp server
 
 The choice of programming language avoids several attack vectors. Immutable data
 structures, type checking and the OCaml runtime memory manager ensure memory