mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 22:50:54 +00:00
The re-newed approach currently supports ARM 64-bit only. It depends on the Platform API of the ARM architecture. It tries to meet the original semantic of the Linux kernel functions as far as possible. To achieve this, device drivers using this library should reference the original Linux kernel headers at foremost. Only the headers in `src/include/lx_emul/shadow` have to shadow clone the original ones. Fix #4225