Re: boot guixsd

2018-03-03 Thread Ricardo Wurmus
Hi Rene, > I'm reviewing how GNU GuixSD/Linux boot, > > $ cat /proc/cmdline > BOOT_IMAGE=/gnu/store/jnww66749r8ck6l2rwgvpzzbnazs0392-linux-libre-4.15.5/bzImage > --root=root --system=/gnu/store/qcia33hqzi6md3q18frs16piis6xxy9i-system >

boot guixsd

2018-03-02 Thread Rene
Hello, I'm reviewing how GNU GuixSD/Linux boot, $ cat /proc/cmdline BOOT_IMAGE=/gnu/store/jnww66749r8ck6l2rwgvpzzbnazs0392-linux-libre-4.15.5/bzImage --root=root --system=/gnu/store/qcia33hqzi6md3q18frs16piis6xxy9i-system --load=/gnu/store/qcia33hqzi6md3q18frs16piis6xxy9i-system/boot To