I don't have access to it now. When I do I can put the package definitions and OS config up somewhere. When you first boot GuixSD most of the core stuff shoul

I don't have access to it now. When I do I can put the package definitions and OS config up somewhere. When you first boot GuixSD most of the core stuff should work fine. Wireless will not work but you should have ethernet. I created mainline linux kernel and firmware packages [1]. Then you need to get the broadcom b43 firmware to get wireless support. I think I made 2 packages. One for b43-fwcutter and one the broadcom-wl firmware which uses b43-fwcutter to cut and install it. I think just about everything on my MBP was working after that. [1] example linux package https://github.com/wingo/guix-nonfree/blob/master/gnu/packages/linux-nonfree.scm https://github.com/wingo/guix-nonfree/blob/master/gnu/packag... [2] http://linuxwireless.sipsolutions.net/en/users/Drivers/b43/ http://linuxwireless.sipsolutions.net/en/users/Drivers/b43/