Hi Paul,
I would like to introduce myself to this list. I'm Mike Thompson and I
kicked off the Raspbian development just under a year ago to create hard
float distribution of Debian armhf for ARMv6+vfp for the Raspberry Pi.
Recently I haven't been doing too much with Raspbian to concentrate on
work that will pay the family bills, but I continue to keep tabs on it.
Now it's mostly managed on a day-to-day basis by a Debian Developer
named Peter Green to build the packages needed so that Raspbian mirrors
the Debian Wheezy distribution as much as possible. However, the build
cluster of 8 ARM based systems and associated servers for the build is
still located in my basement.
I'm just getting caught up on this list and I hope I can help in
some manner. I'm not yet knowledgeable about ROS or how the ROS
packages are created, but I can help with general Debian package
building and with setting up a repository (we use reprepro for nginx for
the Raspbian repository). In particular, I can setup up an independent
ROS repository on the Raspbian servers similar to the MATE (a fork on
Gnome 2) repository I set up at:
http://archive.raspbian.org/mate/Ideally,
I am hoping that the strategy is to create Debian .deb packages for ROS
just as there are .deb ROS packages for Ubuntu. It's sounds like this
is the plan. As Debian has a broader reach than Ubuntu in embedded
Linux systems, it seems this would be a good goal for ROS independent of
the desire to get ROS running on the Raspberry Pi. If generic Debian
.deb packages can be created for ROS, ideally they should build without
any problems for Raspbian just as 98% of the rest of the Debian packages
do (the other 2% needing hand tweaks to be built for ARMv6+vfp).
Once the Debian .deb packages for ROS are stable enough (if they
aren't already), I can work on having the source for the packages built
on Raspbian build cluster and then push them out to an independent
repository that they can be downloaded and used on the Raspberry Pi.
Or, was there other ideas for making the packages available to Raspberry
Pi users?
Thank you for these efforts and let me know what I can do to help.
Mike