/proc/config.gz : No such file or directory

[kankanashukla]

gzip -dc /proc/config.gz > .config
gives me an error:
gzip: /proc/config.gz: No such file or directory

uname -r
gives me:
4.1.18-v7+

modprobe configs
gives me an error:
modprobe: ERROR: ../libkmod/libkmod.c:557 kmod_search_moddep() could not open moddep file '/lib/modules/4.1.18-v7+/modules.dep.bin'

Could you please help me with this?

[kankanashukla]

Forgot to mention that I'm using RPi 3.

[stefandz]

Try running

modprobe configs

before

gzip -dc /proc/config.gz > .config

Also, ensure that your Kinect is plugged in before running

make load

later on.

N.B. this is all covered in pull request #40

[kankanashukla]

Still encountering the same error:
modprobe: ERROR: ../libkmod/libkmod.c:508 kmod_lookup_alias_from_builtin_file() could not open builtin file '/lib/modules/4.1.18-v7+/modules.builtin.bin'
modprobe: FATAL: Module configs not found.

[stefandz]

OK - I got nothing - that worked for me previously!

[kankanashukla]

aw, okay, nevermind. Thanks :)

[labenoir]

Hello ,
first thank you for your post.
I v a problem with gzip -dc /proc/config.gz > .config
terminal say bash: .config : permission non accordée.
i use sudo first:
sudo gzip -dc /proc/config.gz > .config

when i only type gzip -dc /proc/config.gz i can see all the config line
but when i type sudo gzip -dc /proc/config.gz > .config i have error permission.
thanks