Hello Guix!

I came across this blog post and was wondering what is the state of authenticated boot and encryption in Guix System?
I have this vision where you define such things in your system guile script and everything gets configured appropriately, or at least the default setup is as secure as possible.

Thanks for any insights.

Cheers, Reza