This website requires JavaScript.
Explore
Help
Sign In
raspi
/
linux
Watch
1
Star
0
Fork
1
You've already forked linux
mirror of
https://github.com/raspberrypi/linux.git
synced
2026-01-02 15:53:42 +00:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
bfdc8dbdf840f2a96d7b4cbb73fc22d973c84441
linux
/
kernel
/
livepatch
History
Jiri Kosina
bcf5d54589
Merge branch 'for-4.1/core-noarch' into for-linus
2015-04-13 23:57:20 +02:00
..
core.c
Merge branch 'for-4.1/core-noarch' into for-linus
2015-04-13 23:57:20 +02:00
Kconfig
livepatch: rename config to CONFIG_LIVEPATCH
2015-02-04 11:25:51 +01:00
Makefile
livepatch: rename config to CONFIG_LIVEPATCH
2015-02-04 11:25:51 +01:00