I've been extremely pleased with the Nerves project. It's Elixir (or any flavor of Erlang, really) top to bottom. The toolkit will build and flash the SD card, so you don't need to worry about anything except your app.

Very nice to be able to ssh to my Pi and get dropped immediately into an IEX repl (no auth, no command prompt, it's just IEX over SSH)