marionnet-dev team mailing list archive

[Luca Saiu <Luca.Saiu@xxxxxxxxxxxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 04/06/11 14:43, franck Butelle wrote:
> Hello Slavko, welcome to the team !
> 
> I have put everything I made about debian/ubuntu packages for marionnet  in
> http://www-lipn.univ-paris13.fr/~butelle/marionnet

Great, thanks Franck.  Jean-Vincent, let's give a good look at that, too.

> I am not so proud about all this stuff, but "it works"(tm).
> I do not use pbuilder but directly dpkg-buildpackage.

No idea about any of this :-).

> I think we also need a (simple) script for /etc/init.rc/ to start
> marionnet.daemon.

Jean-Vincent has it.  Am I wrong?

> The packages produced by the scripts have been tested for ubuntu.
> 
> Next step: propose the packages to debian officials repositories !

We have two problems: one is building the kernel from sources rather
than from binaries (not a big deal, we can (and should) do it).  The
second problem is building filesystems.  Having binary images of
filesystems is not exactly something clean, which debian would accept...
 We should really understand and use Geppetto (Slavko: Geppetto is the
system for buildign Pinocchio filesystems, written by Jonathan Roudiere;
right now he's the only one who understands it); when I saw him some
weeks ago Jonathan told me it's essentially ok, and that he just needs
one or two weekends to polish it.
  Geppetto allows to generate filesystem images at "compile time", from
sources.  That's clean and powerful, and I think much more acceptable
than an ugly, 200Mb binary file.

Anyway, I think official blessing from debian would be nice but is not
strictly a priority.

- -- 
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet:   http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk2cZQUACgkQvzOavibF0oYSPACfRrczZqmt66D8gacwpuxsSHBA
rrkAoIaowRIfA1DW8+nL6Tqwu62GfQl/
=QAC3
-----END PGP SIGNATURE-----