Live data from Hacker News

Docker on Raspberry Pi

resin.io

21–30 of 46 posts

Re: Docker on Raspberry Pi

#23
post #9

I'm looking for "the CoreOS of Raspberry Pi." Just a barebones Linux distro that just runs Docker images. Anyone have any ideas?

I wonder if Docker/Go will work on uClibc; busybox + docker would make for a very small image indeed. However, I think there are better ARM targets for Docker, but for publicity and to get the ball rolling - you can't go past the Pi.

Docker is compiled statically so will definitely work on busybox :)

Re: Docker on Raspberry Pi

#24
post #9

I'm looking for "the CoreOS of Raspberry Pi." Just a barebones Linux distro that just runs Docker images. Anyone have any ideas?

If anyone gets that done it will make us very happy! We run our servers on CoreOS, putting it on the devices as well would be awesome. AFAICT it's about getting etcd to run on the Pi, as well as any other small projects that make up CoreOS.

There is an ongoing project to bundle Docker with Tiny core linux, which is even more lightweight than coreos. Meanwhile there is also work to add clustering capabilities to docker.

Re: Docker on Raspberry Pi

#26
post #21

Correct me if I'm wrong, but couldn't you just make an image of the SD card and distribute that, as opposed to having people go through 88 (I counted) steps?

And they're not trivial steps either.

Install Arch Linux? Resize the root partition? Patch and build the kernel? Bootstrap and rebuild Docker?

I'm all for an easier Internet of things, but this ain't it (yet).

Re: Docker on Raspberry Pi

#28
If anyone is on a Mac trying to write the Arch image to an SD card, follow the steps on this site to find your SD card: http://www.embeddedarm.com/support/faqs.php?item=10

The command for me was: sudo dd if=$RPIDIR/archlinux-hf-2013-07-22.img of=/dev/disk1 bs=4m

It also took about 20 minutes to write.

Re: Docker on Raspberry Pi

#29

If anyone is on a Mac trying to write the Arch image to an SD card, follow the steps on this site to find your SD card: http://www.embeddedarm.com/support/faqs.php?item=10 The command for me was: sudo dd if=$RPIDIR/archlinux-hf-2013-07-22.img of=/dev/disk1 bs=4m It also took about 20 minutes to write.

For the love of everything fluffy, don't run that command if you don't know what you're doing!

Re: Docker on Raspberry Pi

#30
post #21

Correct me if I'm wrong, but couldn't you just make an image of the SD card and distribute that, as opposed to having people go through 88 (I counted) steps?

And they're not trivial steps either. Install Arch Linux? Resize the root partition? Patch and build the kernel? Bootstrap and rebuild Docker? I'm all for an easier Internet of things, but this ain't it (yet).

You're right, the instructions are a lot and not trivial but are very useful for the Docker team and hackers that may want to modify the procedure. We are planning to release pre-built binaries and kernel soon though.
Post reply on HN