genode/repos/ports/lib/mk/spec
2016-10-21 12:39:33 +02:00
..
foc hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00
foc_arm GDB monitor: stability improvements 2016-05-23 15:52:49 +02:00
foc_x86_32 GDB monitor: stability improvements 2016-05-23 15:52:49 +02:00
hw_x86_64 hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00
hw_x86_64_muen remove 'filename' from ROM sesion args 2016-07-11 13:24:36 +02:00
linux hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00
nova vbox: alloc memory of RTMem*Alloc within 2G window 2016-10-21 12:39:33 +02:00
nova_x86_32 GDB monitor: stability improvements 2016-05-23 15:52:49 +02:00
nova_x86_64 GDB monitor: nova_x86_64 platform support 2016-05-23 15:52:49 +02:00
okl4 hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00
pistachio hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00
x86_32 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
x86_64 GDB monitor: x86_64 support 2016-05-23 15:52:49 +02:00