on Genode ?

Peter Lindener lindener.peter at ...9...
Sat Feb 20 22:13:15 CET 2016

   Kenton  (Varda <> founder of
   Norman (Feske  <>founder of

       and Fellow Genodians...

   Given Kenton's concern for security in
and that it's unlikely that Linux, with it's humongous monolithic kernel,
will ever deliver anything that resembles real security..

.. so I'm wondering if it might be a good match to look at running <> severs within the Genode OS
<> ?

   To further fill out a possible vision:
I just ordered a couple of Pine_64, Quadcore ARM64 boards
<> (with 2GB of ram)..

   I am currently bringing up the code for Social Decision System kernel
based upon the Groves-Clarke Mechanism
which is essentially the ideal when it comes to Strategic Voting Game
Theoretic Mechanism Design
   while the Python / C++11 code is still in an embryonic state... the
underlying theory for how this Game Theoretic solver would operate is
fairly far along..
    The plan is to open source this solver code, once it passes a full set
of included cross validation unit tests.
    I have been looking at how this Groves-Clarke Mechanism
<> solver
can be deployed across a network, to permit this algorithm to scale up to
tackle larger problems in Information / Game Social Choice
<> theory. (i.e, the
longer term direction of our democracy)...

    I was encouraged to find Kenton's 2nd generation work Cap'n-proto
<> which I gather provides some of
<>'s core network functionality... a clear advance in
the state of networked system affairs...
   I also have taken notice of Genode's Server framework
 and I would like to leverage the advanced perspectives of both,  as I
construct the network services layer that will underlie this computer
assisted support of a truly democratic Social Decision system.

   my wish list is as follows:
1. Genode might somday run on ARMv8 (64bit)...   It would be great if the
Pine_64 would eventualy run Genode right out of the box..

2.Cap'n-proto <> might be supported within the Genode
ecosystem...  and that a collaboration between Kenton and Norman... might
end up yielding the nicest Client / Server framework / protocol stack the
world might have the privilege to enjoy.

3. That people with significant technical vision and influence, will see
the ultimate level of creativity that will be leveraged if
<> and <> would be
provided with real financial support for striving towards the
inter-operation of these significant advancements of a better foundation
for network based computation.

4. That <>'s open source code
<> might also run eventually on
the Pine_64 <>, within Genode OS <>,
such that the Trusted Computing Base
<> of SandStorm
<>'s personal sever system would be further reduced..

5.. That the release of an open source network based (Information/Game
Theoretic) Social Decision system kernel, will inspire many to dream about
the very bright future that our truly democratic society will begin to

   I thus close, requesting that many may choose to support the vision that
is already well underway in the implementations of both SandStorm
<> the Genode OS <>,..  and that
such a collaboration will yield a close to ideal foundation upon which this
advanced, Information/Game Theoretic Social Design systems might then

   With the greatest of respect for those who would help pull these pieces
      your's Sincerely
           Peter (SaxMan) Lindener.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list