raspi/linux
1
0
Fork 1
mirror of https://github.com/raspberrypi/linux.git synced 2025-12-07 10:29:52 +00:00
Code Issues Projects Releases Wiki Activity
Files
d7e274720ad901bcf7c26f8577e4e54deff9fb0c
linux/kernel/exec_domain.c
Richard Weinberger 9058f3b326 Remove rest of exec domains. 
It is gone from all archs, now we can remove
the final bits.

Signed-off-by: Richard Weinberger <richard@nod.at>
2015-04-12 21:03:31 +02:00

1.4 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink