From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: Re: GuixSD on a laptop with Heads Date: Wed, 01 May 2019 05:41:26 -0400 Message-ID: <87lfzqmrz2.fsf@netris.org> References: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([209.51.188.92]:50669) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLllh-0006av-5N for help-guix@gnu.org; Wed, 01 May 2019 05:43:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLlle-0007BG-3l for help-guix@gnu.org; Wed, 01 May 2019 05:43:13 -0400 Received: from world.peace.net ([64.112.178.59]:52766) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLlle-00077z-0L for help-guix@gnu.org; Wed, 01 May 2019 05:43:10 -0400 In-Reply-To: (Jonathan Frederickson's message of "Tue, 30 Apr 2019 23:01:51 -0400") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Jonathan Frederickson Cc: help-guix@gnu.org Hi Jonathan, "Jonathan Frederickson" writes: > Hey - so I'm trying to get GuixSD running on a Thinkpad X230 running Heads. > (https://github.com/osresearch/heads) For some background: this system boots > into a Linux environment, has scripts that parse the GRUB config, and boots > into the final system using kexec. > > The Heads boot scripts do not currently support booting from a system with > full disk encryption, so I'm attempting to boot manually to start (after which > I can patch the scripts to replicate what I did). However, I'm running into > some issues when attempting to boot into the new kernel - the moment I run > kexec, I get no output onscreen from the new kernel: > > https://imgur.com/a/r2lFD7k I was unable to easily find a way to view this image without running nonfree Javascript code on my machine. Can you please send the image in an attachment? Also, what was the precise kexec command that you used? Thanks, Mark