From mboxrd@z Thu Jan  1 00:00:00 1970
From: henning.schild@siemens.com (Henning Schild)
Date: Fri, 15 Sep 2017 09:35:55 +0200
Subject: [cip-dev] CIP kernel debian packages available?
Message-ID: <20170915093555.5beb3b4e@md1em3qc>
To: cip-dev@lists.cip-project.org
List-Id: cip-dev.lists.cip-project.org

Hi,

i would like to integrate a CIP kernel into an x86_64 debian9, for
starters a defconfig would be good enough. Is there by any chance a
debian repo with cip kernels in it?

regards,
Henning