Groups
Sign in
Groups
kconfig-sat
Conversations
About
Send feedback
Help
kconfig-sat
Contact owners and managers
1–13 of 13
Mark all as read
Report group
0 selected
Patrick Franz
,
Luis Chamberlain
2
11/25/20
ConfigFix: interactive configuration conflict resolution for the Linux kernel
On Fri, Sep 11, 2020 at 02:52:07PM +0200, Patrick Franz wrote: > Hi everyone, > > On behalf
unread,
ConfigFix: interactive configuration conflict resolution for the Linux kernel
On Fri, Sep 11, 2020 at 02:52:07PM +0200, Patrick Franz wrote: > Hi everyone, > > On behalf
11/25/20
Patrick Franz
,
Paul Gazzillo
2
1/27/20
Update on the progress of the project
On Mon, 27 Jan 16:03:38, Patrick Franz wrote: > Hi everyone, > > I have made a video about
unread,
Update on the progress of the project
On Mon, 27 Jan 16:03:38, Patrick Franz wrote: > Hi everyone, > > I have made a video about
1/27/20
Paul
11/17/19
Symbolic build constraints evaluator
Hi all, I'm new to the list, but am interested in helping out. I'd like to bring attention to
unread,
Symbolic build constraints evaluator
Hi all, I'm new to the list, but am interested in helping out. I'd like to bring attention to
11/17/19
Vegard Nossum
, …
Luis Chamberlain
23
8/1/19
Editing the wiki to update my project status
Another set of data structures is resizable hash table rhashtable: https://lwn.net/Articles/751374/
unread,
Editing the wiki to update my project status
Another set of data structures is resizable hash table rhashtable: https://lwn.net/Articles/751374/
8/1/19
Luis Chamberlain
, …
Ulf Magnusson
10
11/21/18
[ANN] init-kconfig - easy way to embrace Linux's kconfig
On Fri, Oct 05, 2018 at 07:48:34PM +0900, Masahiro Yamada wrote: > Hi, > > > > On Fri,
unread,
[ANN] init-kconfig - easy way to embrace Linux's kconfig
On Fri, Oct 05, 2018 at 07:48:34PM +0900, Masahiro Yamada wrote: > Hi, > > > > On Fri,
11/21/18
Patrick Franz
, …
Mauro Carvalho Chehab
6
10/11/18
Meeting at the Open Source Summit
Em Sun, 7 Oct 2018 14:43:36 -0700 (PDT) Patrick Franz <patf...@gmail.com> escreveu: > Hello
unread,
Meeting at the Open Source Summit
Em Sun, 7 Oct 2018 14:43:36 -0700 (PDT) Patrick Franz <patf...@gmail.com> escreveu: > Hello
10/11/18
Luis R. Rodriguez
, …
Luis R. Rodriguez
38
2/26/18
Linux Kconfig-SAT integration wiki and mailing list
On Sun, Feb 25, 2018 at 07:37:22PM +0100, Thorsten Berger wrote: > Hi Luis, > > Thanks for
unread,
Linux Kconfig-SAT integration wiki and mailing list
On Sun, Feb 25, 2018 at 07:37:22PM +0100, Thorsten Berger wrote: > Hi Luis, > > Thanks for
2/26/18
Ulf Magnusson
11/9/17
[ANNOUNCE] Kconfiglib 2: An improved, more general redesign
Hello, A new, much-improved version 2 of Kconfiglib (https://github.com/ulfalizer/Kconfiglib) is out.
unread,
[ANNOUNCE] Kconfiglib 2: An improved, more general redesign
Hello, A new, much-improved version 2 of Kconfiglib (https://github.com/ulfalizer/Kconfiglib) is out.
11/9/17
Daniel Jonsson
, …
Thorsten Berger
3
4/28/16
Update on master's thesis work
Hi, Let me briefly post an update of Daniel's work by replying to this old email from Luis. In
unread,
Update on master's thesis work
Hi, Let me briefly post an update of Daniel's work by replying to this old email from Luis. In
4/28/16
Daniel Jonsson
4/26/16
Share your experience of configuring the kernel
Hi, I'm a Masters student at Chalmers University of Technology in Sweden. I have already told you
unread,
Share your experience of configuring the kernel
Hi, I'm a Masters student at Chalmers University of Technology in Sweden. I have already told you
4/26/16
Luis R. Rodriguez
,
Steven Rostedt
2
3/21/16
Re: GSoC project
On Mon, 21 Mar 2016 10:36:23 -0700 "Luis R. Rodriguez" <mcg...@kernel.org> wrote:
unread,
Re: GSoC project
On Mon, 21 Mar 2016 10:36:23 -0700 "Luis R. Rodriguez" <mcg...@kernel.org> wrote:
3/21/16
Vegard Nossum
,
Luis R. Rodriguez
2
1/15/16
New satconfig version (for 4.3.0)
On Sun, Dec 27, 2015 at 06:54:27PM +0100, Vegard Nossum wrote: > Hi all, > > I've
unread,
New satconfig version (for 4.3.0)
On Sun, Dec 27, 2015 at 06:54:27PM +0100, Vegard Nossum wrote: > Hi all, > > I've
1/15/16
Luis R. Rodriguez
,
Michal Marek
2
10/8/15
[PATCH v4] kbuild: document recursive dependency limitation / resolution
On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez
unread,
[PATCH v4] kbuild: document recursive dependency limitation / resolution
On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez
10/8/15