genode/repos/os/lib/mk/spec
2020-02-04 16:01:35 +01:00
..
arm
arm_64 os: increase throughput of blit for ARM 64-bit 2020-02-04 16:01:35 +01:00
x86_32
x86_64 hw: use kernel timer for timer driver 2016-05-26 15:54:15 +02:00