|
arm
|
Disambiguate kernel-specific file names
|
2016-12-23 16:51:32 +01:00 |
|
arm_64
|
base: add initial support for ARM 64-bit
|
2019-05-27 14:52:51 +02:00 |
|
riscv
|
Genode application binary interface (ABI)
|
2016-12-23 16:50:28 +01:00 |
|
x86_32
|
Disambiguate kernel-specific file names
|
2016-12-23 16:51:32 +01:00 |
|
x86_64
|
Disambiguate kernel-specific file names
|
2016-12-23 16:51:32 +01:00 |
