Hello Aitor,

I have to correct myself: For apt to be able to update some Raspberry
Pi specific files (like the kernel itself), you'll need to keep the
Raspbian mirror in your sources.list. Of course the Raspbian release
has to be changed from wheezy to jessie before doing the dist-upgrade.
The modifications done by the devuan-baseconf package should make sure
that only those packages not available from the Devuan repository are
installed from the Raspbian server.

Regards,

Florian



On Wed, 07 Oct 2015 10:00:50 +0200
aitor_czr <aitor_czr@???> wrote:

> Hi Florian, thanks for the link.
>
> Aitor.
>
> On 07/10/15 00:34, Florian Zieboll <f.zieboll@???> wrote:
> > If there weren't any major changes to the repository in the last few
> > weeks, you can easily install Devuan on a Raspberry Pi (-> armhf),
> > using the method I described a while ago in this mail:
> > https://lists.dyne.org/lurker/message/20150805.163347.dcffacec.en.html
> >
> > The latest devuan-baseconf package works perfectly fine, I don't
> > know what went wrong on my first attempt. Probably I hit the wrong
> > version...
> >
> > Since Raspian went Jessie some days ago, you'll have to make sure
> > that you have "release=wheezy" in your installer‑config.txt on the
> > SD card.
> >
> > Florian
>