* Re: GNU in GSOC 2015 - Application sent
[not found] <877fvftjg3.fsf@gnu.org>
@ 2015-02-25 21:24 ` Ludovic Courtès
2015-02-27 14:47 ` Jose E. Marchesi
2015-03-09 22:11 ` Ludovic Courtès
0 siblings, 2 replies; 6+ messages in thread
From: Ludovic Courtès @ 2015-02-25 21:24 UTC (permalink / raw)
To: Jose E. Marchesi; +Cc: guix-devel, summer-of-code
[-- Attachment #1: Type: text/plain, Size: 2764 bytes --]
Hello,
Here are three ideas for Guix and dmd. Others may follow.
Thanks,
Ludo’.
<h3 id="guix"><a href="/software/guix">GNU Guix</a></h3>
<p>GNU Guix is a purely functional package manager for the GNU system.
The Guix System Distribution is GNU's advanced distribution.</p>
<h4 id="guix_hurd">Porting Guix to GNU/Hurd</h4>
<p>
GNU Guix currently supports building packages for GNU/Linux only. The
goal of this project would be to allow it to cross-build and build
packages for GNU/Hurd, and to provide a virtual machine image that
boots into such a system.
</p>
<p>
This would involve packaging Mach/Hurd/MiG/libc, adjusting allowing
cross-compilation to GNU/Hurd, cross-compiling the “bootstrap
binaries” for GNU/Hurd, and then working towards support for GNU/Hurd
in the <code>(gnu system)</code> Guix modules. This last point would
allow a VM image of the complete system to be built.
</p>
<strong>Mentor</strong>: <a href="mailto:ludo@gnu.org">Ludovic Courtès</a>
<h4 id="guix_dhcp">Implementing a DHCP client in Guile Scheme</h4>
<p>
The goal of this project is to write a DHCP client library in Guile
Scheme. The library will then be usable as a dmd service, thereby
providing better integration.
</p>
<strong>Mentor</strong>: <a href="mailto:ludo@gnu.org">Ludovic Courtès</a>
<h3 id="dmd"><a href="/software/dmd">GNU dmd</a></h3>
<p>GNU dmd is the init system used by <a href="/software/guix">GuixSD</a>,
GNU's advanced distribution.</p>
<h4 id="dmd_units">Syntax and semantics of systemd units in GNU dmd</h4>
<p>
GNU dmd has a <a
href="/software/dmd/manual/html_node/Services.html">Scheme interface
to define services</a>, most importantly their dependencies and
actions associated with them. The goal of this project is twofold.
The first part consists in matching the semantics of systemd's <a
href="http://www.freedesktop.org/software/systemd/man/systemd.service.html"><code>.service</code></a>
unit files, more precisely a subset thereof (for instance, the
DBus-related part may be omitted.) As part of this work, dmd should
be extended with <a
href="https://www.kernel.org/doc/Documentation/cgroups/cgroups.txt">cgroup</a>
support on systems that support it. dmd should also be extended with
a procedure to load a <code>.service</code> file and return a
<code><service></code> object.
</p>
<p>
The second part will consist in implementing other types of <a
href="http://www.freedesktop.org/software/systemd/man/systemd.unit.html">
units</a>, in particular <code>.device</code>.
</p>
<strong>Mentor</strong>: <a href="mailto:ludo@gnu.org">Ludovic Courtès</a>
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 818 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: GNU in GSOC 2015 - Application sent
2015-02-25 21:24 ` GNU in GSOC 2015 - Application sent Ludovic Courtès
@ 2015-02-27 14:47 ` Jose E. Marchesi
2015-03-09 22:11 ` Ludovic Courtès
1 sibling, 0 replies; 6+ messages in thread
From: Jose E. Marchesi @ 2015-02-27 14:47 UTC (permalink / raw)
To: Ludovic Courtès; +Cc: guix-devel, summer-of-code
Here are three ideas for Guix and dmd. Others may follow.
Added to the ideas page. Thanks.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: GNU in GSOC 2015 - Application sent
2015-02-25 21:24 ` GNU in GSOC 2015 - Application sent Ludovic Courtès
2015-02-27 14:47 ` Jose E. Marchesi
@ 2015-03-09 22:11 ` Ludovic Courtès
2015-03-09 23:33 ` Giuseppe Scrivano
2015-03-10 9:53 ` Sree Harsha Totakura
1 sibling, 2 replies; 6+ messages in thread
From: Ludovic Courtès @ 2015-03-09 22:11 UTC (permalink / raw)
To: Jose E. Marchesi; +Cc: guix-devel, gnunet-developers, summer-of-code
ludo@gnu.org (Ludovic Courtès) skribis:
> Here are three ideas for Guix and dmd. Others may follow.
Here’s a couple more.
<h4 id="guix_containers">Linux container support</h4>
<p>
GNU Guix currently supports the installation of GuixSD on virtual
machines and physical hosts through its <a
href="/software/guix/manual/html_node/Invoking-guix-system.html"><code>guix
system</code></a> command. The goal of this project would be to add
another installation target: containers. A container is an
environment that is similar to a virtual machine but without the
overhead that comes with running a separate kernel and simulating
hardware. Containers are isolated on a host system through Linux's
control groups and kernel namespaces.
</p>
<strong>Mentor</strong>: <a href="mailto:davet@gnu.org">David Thompson</a>
<h4>Supporting binary package distribution through GNUnet</h4>
<p>
GNU Guix provides a transparent binary/source deployment model. A
server can claim: “hey, I have the binary for
<tt>/gnu/store/v9zic07iar8w90zcy398r745w78a7lqs-emacs-24.4</tt>!”, where the
base32 string uniquely identifies a build process. If you trust that
server to provide genuine binaries, then you can grab them instead of
building Emacs locally. This mechanism is called <a
href="/software/guix/manual/html_node/Substitutes.html"><emph>substitution</emph></a>.
</p>
<p>
The “traditional model” has been to have a build farm build and serve
binary packages over HTTP. In that model, users trust the build farm to
provide authentic binaries.
</p>
<p>
The project aims to provide a <emph>practical</emph> decentralization
distribution mechanism for binary packages, using <a
href="/software/gnunet">GNUnet’s networking layers</a>. In that
model, users would be able to automatically share binaries they have
built locally, and to install binaries built by other users. This is
part of a broader goal of <emph>disintermediation</emph> among users,
and between users and upstream software developers.
</p>
<p>
Deliverables <a
href="http://lists.gnu.org/archive/html/guix-devel/2015-03/msg00192.html">include</a>
a substituter that uses GNUnet as its back-end, and a tool to publish
build results.
</p>
<strong>Mentors</strong>:
<a href="mailto:totakura@in.tum.de">Sree Harsha Totakura</a>,
<a href="mailto:bart.polot@gmail.com">Bart Polot</a>
Thanks,
Ludo'.
_______________________________________________
GNUnet-developers mailing list
GNUnet-developers@gnu.org
https://lists.gnu.org/mailman/listinfo/gnunet-developers
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: GNU in GSOC 2015 - Application sent
2015-03-09 22:11 ` Ludovic Courtès
@ 2015-03-09 23:33 ` Giuseppe Scrivano
2015-03-10 9:53 ` Sree Harsha Totakura
1 sibling, 0 replies; 6+ messages in thread
From: Giuseppe Scrivano @ 2015-03-09 23:33 UTC (permalink / raw)
To: Ludovic Courtès
Cc: guix-devel, gnunet-developers, summer-of-code, Jose E. Marchesi
ludo@gnu.org (Ludovic Courtès) writes:
> ludo@gnu.org (Ludovic Courtès) skribis:
>
>> Here are three ideas for Guix and dmd. Others may follow.
>
> Here’s a couple more.
Thanks, just added them to the page.
Regards,
Giuseppe
_______________________________________________
GNUnet-developers mailing list
GNUnet-developers@gnu.org
https://lists.gnu.org/mailman/listinfo/gnunet-developers
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: GNU in GSOC 2015 - Application sent
2015-03-09 22:11 ` Ludovic Courtès
2015-03-09 23:33 ` Giuseppe Scrivano
@ 2015-03-10 9:53 ` Sree Harsha Totakura
2015-03-10 14:59 ` Giuseppe Scrivano
1 sibling, 1 reply; 6+ messages in thread
From: Sree Harsha Totakura @ 2015-03-10 9:53 UTC (permalink / raw)
To: Ludovic Courtès, Jose E. Marchesi
Cc: guix-devel, gnunet-developers, summer-of-code
Hi!
I'd like this also to be mentioned briefly under the GNUnet project so
that anyone interested in GNUnet can find it.
Please add the following under GNUnet ideas:
<h4>Supporting GNU Guix's package distribution</h4>
<p>
Please refer to the description for this project listed under <a
href="#guix">GNU Guix project ideas</a>.
</p>
Thanks,
Sree
On 03/09/2015 11:11 PM, Ludovic Courtès wrote:
> <h4>Supporting binary package distribution through GNUnet</h4>
>
> <p>
> GNU Guix provides a transparent binary/source deployment model. A
> server can claim: “hey, I have the binary for
> <tt>/gnu/store/v9zic07iar8w90zcy398r745w78a7lqs-emacs-24.4</tt>!”, where the
> base32 string uniquely identifies a build process. If you trust that
> server to provide genuine binaries, then you can grab them instead of
> building Emacs locally. This mechanism is called <a
> href="/software/guix/manual/html_node/Substitutes.html"><emph>substitution</emph></a>.
> </p>
>
> <p>
> The “traditional model” has been to have a build farm build and serve
> binary packages over HTTP. In that model, users trust the build farm to
> provide authentic binaries.
> </p>
>
> <p>
> The project aims to provide a <emph>practical</emph> decentralization
> distribution mechanism for binary packages, using <a
> href="/software/gnunet">GNUnet’s networking layers</a>. In that
> model, users would be able to automatically share binaries they have
> built locally, and to install binaries built by other users. This is
> part of a broader goal of <emph>disintermediation</emph> among users,
> and between users and upstream software developers.
> </p>
>
> <p>
> Deliverables <a
> href="http://lists.gnu.org/archive/html/guix-devel/2015-03/msg00192.html">include</a>
> a substituter that uses GNUnet as its back-end, and a tool to publish
> build results.
> </p>
>
> <strong>Mentors</strong>:
> <a href="mailto:totakura@in.tum.de">Sree Harsha Totakura</a>,
> <a href="mailto:bart.polot@gmail.com">Bart Polot</a>
>
> Thanks,
> Ludo'.
_______________________________________________
GNUnet-developers mailing list
GNUnet-developers@gnu.org
https://lists.gnu.org/mailman/listinfo/gnunet-developers
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: GNU in GSOC 2015 - Application sent
2015-03-10 9:53 ` Sree Harsha Totakura
@ 2015-03-10 14:59 ` Giuseppe Scrivano
0 siblings, 0 replies; 6+ messages in thread
From: Giuseppe Scrivano @ 2015-03-10 14:59 UTC (permalink / raw)
To: Sree Harsha Totakura
Cc: guix-devel, gnunet-developers, Ludovic Courtès,
summer-of-code, Jose E. Marchesi
Sree Harsha Totakura <totakura@in.tum.de> writes:
> <h4>Supporting GNU Guix's package distribution</h4>
>
> <p>
> Please refer to the description for this project listed under <a
> href="#guix">GNU Guix project ideas</a>.
> </p>
added.
Regards,
Giuseppe
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2015-03-10 14:59 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <877fvftjg3.fsf@gnu.org>
2015-02-25 21:24 ` GNU in GSOC 2015 - Application sent Ludovic Courtès
2015-02-27 14:47 ` Jose E. Marchesi
2015-03-09 22:11 ` Ludovic Courtès
2015-03-09 23:33 ` Giuseppe Scrivano
2015-03-10 9:53 ` Sree Harsha Totakura
2015-03-10 14:59 ` Giuseppe Scrivano
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).