Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
I want your dot-config
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index Gentoo Chat
View previous topic :: View next topic  
Author Message
Stratonifler
n00b
n00b


Joined: 04 Jul 2012
Posts: 5
Location: Denmark

PostPosted: Wed Jul 04, 2012 1:45 pm    Post subject: I want your dot-config Reply with quote

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
View user's profile Send private message
LiamOS
n00b
n00b


Joined: 06 Jun 2012
Posts: 62
Location: Ireland

PostPosted: Wed Jul 04, 2012 2:30 pm    Post subject: Reply with quote

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. :D
_________________
CFLAGS=" -O999999"
Back to top
View user's profile Send private message
Stratonifler
n00b
n00b


Joined: 04 Jul 2012
Posts: 5
Location: Denmark

PostPosted: Thu Jul 05, 2012 7:21 am    Post subject: Reply with quote

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. :D


Thanks for the reply :D

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
View user's profile Send private message
xaviermiller
Bodhisattva
Bodhisattva


Joined: 23 Jul 2004
Posts: 8706
Location: ~Brussels - Belgique

PostPosted: Thu Jul 05, 2012 7:44 am    Post subject: Reply with quote

Hello,

Do you know these two "must bookmark and use" sites ?
- Pappy's Kenel Seeds: http://www.kernel-seeds.org/
- Debian HCL: http://kmuto.jp/debian/hcl/index.rhtmlx
_________________
Kind regards,
Xavier Miller
Back to top
View user's profile Send private message
Stratonifler
n00b
n00b


Joined: 04 Jul 2012
Posts: 5
Location: Denmark

PostPosted: Thu Jul 05, 2012 5:11 pm    Post subject: Reply with quote

XavierMiller wrote:
Hello,

Do you know these two "must bookmark and use" sites ?
- Pappy's Kenel Seeds: http://www.kernel-seeds.org/
- Debian HCL: http://kmuto.jp/debian/hcl/index.rhtmlx


Wow, no - I didn't :o And THANKS a lot :D
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 :idea:
Back to top
View user's profile Send private message
kernelOfTruth
Watchman
Watchman


Joined: 20 Dec 2005
Posts: 6111
Location: Vienna, Austria; Germany; hello world :)

PostPosted: Fri Jul 06, 2012 7:11 pm    Post subject: Reply with quote

enjoy:

*click*

:)
_________________
https://github.com/kernelOfTruth/ZFS-for-SystemRescueCD/tree/ZFS-for-SysRescCD-4.9.0
https://github.com/kernelOfTruth/pulseaudio-equalizer-ladspa

Hardcore Gentoo Linux user since 2004 :D
Back to top
View user's profile Send private message
disi
Veteran
Veteran


Joined: 28 Nov 2003
Posts: 1354
Location: Out There ...

PostPosted: Fri Jul 06, 2012 7:32 pm    Post subject: Reply with quote

Oh yeah: click
_________________
Gentoo on Uptime Project - Larry is a cow
Back to top
View user's profile Send private message
anyNiXwilldo
Apprentice
Apprentice


Joined: 20 Feb 2004
Posts: 176
Location: US

PostPosted: Fri Jul 06, 2012 11:32 pm    Post subject: Reply with quote

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
View user's profile Send private message
cach0rr0
Bodhisattva
Bodhisattva


Joined: 13 Nov 2008
Posts: 4123
Location: Houston, Republic of Texas

PostPosted: Sat Jul 07, 2012 3:23 am    Post subject: Reply with quote

got a few for ya - have at it

http://whitehathouston.com/downloads/kernel-conf/

pretty sure i based all of those on Pappy's seeds.
_________________
Lost configuring your system?
dump lspci -n here | see Pappy's guide | Link Stash
Back to top
View user's profile Send private message
Stratonifler
n00b
n00b


Joined: 04 Jul 2012
Posts: 5
Location: Denmark

PostPosted: Tue Jul 10, 2012 5:08 pm    Post subject: Thanks a lot! Reply with quote

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 :D

So, thx to everyone who have already contributed to me their configs! And I ofcourse always welcome more :-)
Back to top
View user's profile Send private message
niuck
n00b
n00b


Joined: 16 Mar 2005
Posts: 60

PostPosted: Thu Jul 12, 2012 8:50 pm    Post subject: Reply with quote

Here you go
http://bpaste.net/show/34737/
Back to top
View user's profile Send private message
Jaglover
Watchman
Watchman


Joined: 29 May 2005
Posts: 8291
Location: Saint Amant, Acadiana

PostPosted: Thu Jul 12, 2012 9:14 pm    Post subject: Reply with quote

My desktop and my wife's nettop config.tbz. Both configured from scratch. Other computers are powered off right now.
_________________
My Gentoo installation notes.
Please learn how to denote units correctly!
Back to top
View user's profile Send private message
Stratonifler
n00b
n00b


Joined: 04 Jul 2012
Posts: 5
Location: Denmark

PostPosted: Sun Jan 06, 2013 8:35 am    Post subject: Thx again - and here's a view of the Kconfig Editor Reply with quote

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
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Gentoo Chat All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum