Revision d5be89a8d118a8e8d09cd74a921a808f17fbdd09 authored by Palmer Dabbelt on 14 September 2020, 16:56:30 UTC, committed by Palmer Dabbelt on 19 September 2020, 20:21:11 UTC
The K210 doesn't implement rdtime in M-mode, and since that's where Linux runs
in the NOMMU systems that means we can't use rdtime.  The K210 is the only
system that anyone is currently running NOMMU or M-mode on, so here we're just
inlining the timer read directly.

This also adds the CLINT driver as an !MMU dependency, as it's currently the
only timer driver availiable for these systems and without it we get a build
failure for some configurations.

Tested-by: Damien Le Moal <damien.lemoal@wdc.com>
Signed-off-by: Palmer Dabbelt <palmerdabbelt@google.com>
1 parent f025d9d
Raw File
.get_maintainer.ignore
Christoph Hellwig <hch@lst.de>
Marc Gonzalez <marc.w.gonzalez@free.fr>
back to top