Re: boot guixsd

2018-03-03 Thread Danny Milosavljevic
On Fri, 02 Mar 2018 23:41:48 -0500 Rene wrote: > a) In GNU Hurd, how should activation be done? After examining our GuixSD/Debian hybrid Hurd image, there's at least argument parsing of kernel arguments inside /libexec/runsystem.hurd (the regular shell arguments there).

Re: boot guixsd

2018-03-03 Thread Danny Milosavljevic
Hi Rene, On Fri, 02 Mar 2018 23:41:48 -0500 Rene wrote: > ?: 3 [primitive-load > "/gnu/store/rjp22rca3gv8lrrbb9j4sry9i3n1bvlp-activate"] > In ice-9/eval.scm: >432: 2 [eval # ()] > In >

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 >