diff options
| -rw-r--r-- | site/contrib/index.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/site/contrib/index.php b/site/contrib/index.php index b48f7fb..047f5ba 100644 --- a/site/contrib/index.php +++ b/site/contrib/index.php @@ -49,6 +49,11 @@ <?php echo gettext("Main developer, manages the libreboot website and git repository."); ?> <?php echo gettext("He can be contacted on IRC (freenode) in #libreboot by the alias <b>francis7</b> (formerly <b>fchmmr</b>), or you can contact him by his email address <a href=\"mailto:info@gluglug.org.uk\">info@gluglug.org.uk</a> (<a href=\"http://gluglug.org.uk/contact\">GPG</a>)."); ?> </p> + <h2>Paul Kocialkowski</h2> + <p> + Ported the ARM (Rockchip RK3288 SoC) based <i>Chromebook</i> laptops to libreboot. Also one of the main <a href="http://www.replicant.us/">Replicant</a> developers. + Contact him on the libreboot IRC channel by his alias <i>paulk</i> or <i>paulk-<hostname></i> (he uses several hostnames). + </p> <h2>Michał Masłowski</h2> <p> <?php echo gettext("Maintains the libreboot bug tracker."); ?> |