mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
fb1c504568
Require x86_64 because memory/adress space limitations on x86_32 restrict the use-cases on such a platform anyway. Doing that, we can also assume that memory adresses are always 64bit long and do not have to handle 32bit adresses.