Где находится ядро ​​Linux в памяти?

Из некоторых книг, которые у меня есть, у меня есть в моих заметках, что ядро ​​Linux находится в 0xc00000000 на 32-битных системах и отображается в пространстве пользователя по соображениям производительности.

Это точно? Как я могу это проверить?

Кроме того, где находится ядро ​​на 64-битных системах? Он все еще на 0xc00000000 , или где-то еще?

Сейчас он находится в полу-случайном месте благодаря aslr (предполагая, что у вас есть скомпилированный в 64-битной системе, и нет никакой причины, и поскольку в 2016 году вы должны использовать 64-битную систему … если вы невелики в памяти просто запустить 64-битное ядро ​​+ 32-битное пользовательское пространство)