Oh, CoreOS Layering looks really useful! I'm using openSUSE MicroOS today on some Raspberry Pi's and a x86_64 server. One reason I picked MicroOS was because it was quite simple to install on Raspberry Pi.
How hard is it to install CoreOS on a Raspberry Pis? Some installation guides on the Internet look quite complex...?