41–46 of 46 posts
Earlier quoted context omitted.
Thanks for the excellent questions. I started writing a response but it became way too long, so I moved it to the blog: http://resin.io/blog/why-port-docker-to-the-raspberry-pi/
Thank you alexandros for the prompt reply. I will read the blog post tonight at home. ps. You're Greek?
Earlier quoted context omitted.
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.
If nothing else, make sure there is still a dockerfile (for parts where direct access to hardware are not needed, like you would never write a dockerfile that resized the OS partition since that happens outside) and always current up-to-date manual instructions! Thanks for the great work!
I am looking forward to CoreOS on RPI, if that's planned to be a thing! It would be a good reason to buy a bigger SD card, for me.
Earlier quoted context omitted.
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.
Awesome stuff.. any pointers to where this work is getting done?
Earlier quoted context omitted.
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 :)
(edited for unintentional pun.)
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!
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.
Yeah, I'm working on updated instructions at the moment. You may get stuck at the step that's "Install a new kernel on the RPi." if your system is i386; Those instructions only work on x86_64, afaik. I'm keeping a log of what I try to see if I can make things faster / better.
Decided to go with an Arch Vagrant box (Specifically Arch Linux x86_64 (2013-08) from http://www.vagrantbox.es/). Running into issues with make in Step 5:
drivers/thermal/bcm2835-thermal.c:21:23: fatal error: mach/vcio.h: No such file or directory
Has anyone here run into this issue?