View previous topic :: View next topic |
Author |
Message |
Stratonifler n00b
Joined: 04 Jul 2012 Posts: 5 Location: Denmark
|
Posted: Wed Jul 04, 2012 1:45 pm Post subject: I want your dot-config |
|
|
Hi,
Hope I'm posting this in the right forum (if not, plz let me know)
I'm doing a research project on the configuration of the Linux Kernel. As part of the project, I'm researching various configuration dependency issues for people compiling their own kernel, - that's you
So, if you have a .config file to spare - I'd be happy to receive it in my mail box: stkr@itu.dk
Also, when you send me a config file, let me know if I may thank you in my report by name ...
My main goal, is to use SAT-solving techniques to help identify dependencies when configuring the kernel:
Sometimes it can be cumbersome to find the reason behind an invisible option, but what if the option was visible and select-able, although the configuration might lead to dependency violation?
So if you have such an experience, I'd of course also be very eager to hear from you!
If you want to know more about the project, I have an introductory formal description here:
http://linux.kreisberg.dk/description/
Many regards, a long time gentoo addict
-Stefan a.k.a. Stratonifler
Last edited by Stratonifler on Thu Jul 05, 2012 4:55 pm; edited 1 time in total |
|
Back to top |
|
|
LiamOS n00b
Joined: 06 Jun 2012 Posts: 64 Location: Ireland
|
Posted: Wed Jul 04, 2012 2:30 pm Post subject: |
|
|
My current .config may not be configured correctly(Haven't tried to build it yet; saving that fun for later).
Would you only like .config files that compile properly, or that boot properly, or something else?
Best of luck with the project; looks good. _________________ CFLAGS=" -O999999" |
|
Back to top |
|
|
Stratonifler n00b
Joined: 04 Jul 2012 Posts: 5 Location: Denmark
|
Posted: Thu Jul 05, 2012 7:21 am Post subject: |
|
|
LiamOS wrote: | My current .config may not be configured correctly(Haven't tried to build it yet; saving that fun for later).
Would you only like .config files that compile properly, or that boot properly, or something else?
Best of luck with the project; looks good. |
Thanks for the reply
Actually any .config is of my interest. My work includes making invisible options visible/enabled and thereby introducing what would be semantic configuration errors as well as possible compile errors. And from there, introducing a new feature that suggest possible solutions .... |
|
Back to top |
|
|
xaviermiller Bodhisattva
Joined: 23 Jul 2004 Posts: 8711 Location: ~Brussels - Belgique
|
|
Back to top |
|
|
Stratonifler n00b
Joined: 04 Jul 2012 Posts: 5 Location: Denmark
|
Posted: Thu Jul 05, 2012 5:11 pm Post subject: |
|
|
Wow, no - I didn't And THANKS a lot
Actually I think the kernel-seeds alone can tell me a lot about kernel history from a user perspective for 2010 - now. This is great |
|
Back to top |
|
|
kernelOfTruth Watchman
Joined: 20 Dec 2005 Posts: 6111 Location: Vienna, Austria; Germany; hello world :)
|
|
Back to top |
|
|
disi Veteran
Joined: 28 Nov 2003 Posts: 1354 Location: Out There ...
|
|
Back to top |
|
|
anyNiXwilldo Apprentice
Joined: 20 Feb 2004 Posts: 176 Location: US
|
Posted: Fri Jul 06, 2012 11:32 pm Post subject: |
|
|
MMMMMMMMMM!
Denmark=Offroad Los. Config sent via email. I hope you enjoy it as much as I enjoy the lakrits. _________________ Of course you can have my root password. I'm on Hardened! |
|
Back to top |
|
|
cach0rr0 Bodhisattva
Joined: 13 Nov 2008 Posts: 4123 Location: Houston, Republic of Texas
|
|
Back to top |
|
|
Stratonifler n00b
Joined: 04 Jul 2012 Posts: 5 Location: Denmark
|
Posted: Tue Jul 10, 2012 5:08 pm Post subject: Thanks a lot! |
|
|
I think it's amazing: I've been "away" from Gentoo for a few years ... then came back with more than an intend to run it, but also write a scientific report on it. And minutes after entering a request for dot-configs I'm overwhelmed with, yeah - .configs and valuable links and hints, and helping emails
So, thx to everyone who have already contributed to me their configs! And I ofcourse always welcome more |
|
Back to top |
|
|
niuck n00b
Joined: 16 Mar 2005 Posts: 60
|
|
Back to top |
|
|
Jaglover Watchman
Joined: 29 May 2005 Posts: 8291 Location: Saint Amant, Acadiana
|
|
Back to top |
|
|
Stratonifler n00b
Joined: 04 Jul 2012 Posts: 5 Location: Denmark
|
Posted: Sun Jan 06, 2013 8:35 am Post subject: Thx again - and here's a view of the Kconfig Editor |
|
|
Once again thanks to everyone here at Gentoo forums helping me out. My project changed over time, so I ended up doing an Eclipse based Editor for Kconfig files.
If anyone knows whom I might contact, who could have an interest in this, please let me know
A quick glance (2 min screencast) at the Editor can be found at
http://linux.kreisberg.dk/editor-demo.webm
.. and again: Thanks for helping me out!
|
|
Back to top |
|
|
|