diff --git a/Technology b/Technology index 7441665..0517262 100644 --- a/Technology +++ b/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 + + + + + + + +
LinuxMirageOS
Kernel160048
Runtime68925
Crypto23023
TLS416
Total2560102
-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