genode/repos/os/lib/mk/spec
Stefan Kalkowski fda337a1c0 os: increase throughput of blit for ARM 64-bit
Fix #3615
2020-02-04 16:01:35 +01:00
..
arm Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
arm_64 os: increase throughput of blit for ARM 64-bit 2020-02-04 16:01:35 +01:00
x86_32 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
x86_64 hw: use kernel timer for timer driver 2016-05-26 15:54:15 +02:00