From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Craven Subject: Linux kernel config maintainablility Date: Fri, 2 Sep 2016 14:30:11 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49833) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bfncu-0000h6-2m for guix-devel@gnu.org; Fri, 02 Sep 2016 08:31:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bfncp-0004TZ-2l for guix-devel@gnu.org; Fri, 02 Sep 2016 08:31:18 -0400 Received: from mail-yw0-f178.google.com ([209.85.161.178]:34072) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bfncn-0004SO-SB for guix-devel@gnu.org; Fri, 02 Sep 2016 08:31:15 -0400 Received: by mail-yw0-f178.google.com with SMTP id g192so10507641ywh.1 for ; Fri, 02 Sep 2016 05:31:12 -0700 (PDT) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel Hi, So I'm trying to get a linux-libre-kernel for arm going. For arm there is a multi_v7_defconfig we can use. I looked at the existing kernel configs we have and can't make heads or tails of them. My question is are any kernel options needed specifically for guixsd? And can we make it more readable/explicit by using a defconfig + adding the guixsd specific configs separately? This would allow people like me to understand what's actually needed to get guixsd working ;-)