forked from genodelabs/genode-world
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
seoul: add raw pkg with several configurations
- Loading branch information
Showing
6 changed files
with
179 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| CONFIG_FILES = vm_seoul.cfg vm_seoul_boot_0.cfg vm_seoul_boot_1.cfg | ||
| CONFIG_FILES += vm_seoul_audio.cfg | ||
|
|
||
| content: $(CONFIG_FILES) | ||
|
|
||
| $(CONFIG_FILES): | ||
| cp $(REP_DIR)/recipes/raw/seoul-config/$@ $@ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| 2022-06-06 e7489d19937c17e8612df74f00b44b0ddee3fd89 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| <config vmm_memory="64M" width="1280" height="1024"> | ||
| <machine> | ||
| <mem start="0x0" end="0x9a000"/> | ||
| <mem start="0x100000" end="0xfffff000"/> | ||
| <!--<ioio/>--> | ||
| <nullio io_base="0x80" /> | ||
| <pic io_base="0x20" elcr_base="0x4d0"/> | ||
| <pic io_base="0xa0" irq="2" elcr_base="0x4d1"/> | ||
| <pit io_base="0x40" irq="0"/> | ||
| <scp io_port_a="0x92" io_port_b="0x61"/> | ||
| <kbc io_base="0x60" irq_kbd="1" irq_aux="12"/> | ||
| <keyb ps2_port="0" host_keyboard="0x10000"/> | ||
| <mouse ps2_port="1" host_mouse="0x10001"/> | ||
| <rtc io_base="0x70" irq="8"/> | ||
| <serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/> | ||
| <hostsink host_dev="0x4712" buffer="80"/> | ||
| <vga io_base="0x03c0"/> | ||
|
|
||
| <vbios_disk boot_disknr="0"/> | ||
| <vbios_keyboard host_keyboard="0x10000"/> | ||
| <vbios_mem/> | ||
| <vbios_time/> | ||
| <vbios_reset/> | ||
|
|
||
| <msi/> | ||
| <ioapic/> | ||
| <pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8" | ||
| mem_base="0xe0000000"/> | ||
| <pmtimer io_port="0x8000"/> | ||
|
|
||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
|
|
||
| <ahci mem="0xe0800000" irq="14" bdf="0x30"/> | ||
| <drive sigma0drive="0" controller="0" port="0"/> | ||
| <intel82576vf/> | ||
|
|
||
| <virtio_input irq="11"/> | ||
| <virtio_gpu irq="13"/> | ||
| </machine> | ||
| <multiboot/> | ||
| </config> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| <config vmm_memory="64M" width="1280" height="1024"> | ||
| <machine> | ||
| <mem start="0x0" end="0x9a000"/> | ||
| <mem start="0x100000" end="0xfffff000"/> | ||
| <!--<ioio/>--> | ||
| <nullio io_base="0x80" /> | ||
| <pic io_base="0x20" elcr_base="0x4d0"/> | ||
| <pic io_base="0xa0" irq="2" elcr_base="0x4d1"/> | ||
| <pit io_base="0x40" irq="0"/> | ||
| <scp io_port_a="0x92" io_port_b="0x61"/> | ||
| <kbc io_base="0x60" irq_kbd="1" irq_aux="12"/> | ||
| <keyb ps2_port="0" host_keyboard="0x10000"/> | ||
| <mouse ps2_port="1" host_mouse="0x10001"/> | ||
| <rtc io_base="0x70" irq="8"/> | ||
| <serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/> | ||
| <hostsink host_dev="0x4712" buffer="80"/> | ||
| <vga io_base="0x03c0"/> | ||
|
|
||
| <vbios_disk boot_disknr="0"/> | ||
| <vbios_keyboard host_keyboard="0x10000"/> | ||
| <vbios_mem/> | ||
| <vbios_time/> | ||
| <vbios_reset/> | ||
|
|
||
| <msi/> | ||
| <ioapic/> | ||
| <pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8" | ||
| mem_base="0xe0000000"/> | ||
| <pmtimer io_port="0x8000"/> | ||
|
|
||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
|
|
||
| <ahci mem="0xe0800000" irq="14" bdf="0x30"/> | ||
| <drive sigma0drive="0" controller="0" port="0"/> | ||
| <intel82576vf/> | ||
|
|
||
| <virtio_input irq="11"/> | ||
| <virtio_gpu irq="13"/> | ||
| <virtio_sound irq="15"/> | ||
| </machine> | ||
| <multiboot/> | ||
| </config> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| <config vmm_memory="64M" width="1280" height="1024"> | ||
| <machine> | ||
| <mem start="0x0" end="0x9a000"/> | ||
| <mem start="0x100000" end="0xfffff000"/> | ||
| <!--<ioio/>--> | ||
| <nullio io_base="0x80" /> | ||
| <pic io_base="0x20" elcr_base="0x4d0"/> | ||
| <pic io_base="0xa0" irq="2" elcr_base="0x4d1"/> | ||
| <pit io_base="0x40" irq="0"/> | ||
| <scp io_port_a="0x92" io_port_b="0x61"/> | ||
| <kbc io_base="0x60" irq_kbd="1" irq_aux="12"/> | ||
| <keyb ps2_port="0" host_keyboard="0x10000"/> | ||
| <mouse ps2_port="1" host_mouse="0x10001"/> | ||
| <rtc io_base="0x70" irq="8"/> | ||
| <serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/> | ||
| <hostsink host_dev="0x4712" buffer="80"/> | ||
| <vga io_base="0x03c0"/> | ||
|
|
||
| <vbios_disk boot_disknr="0"/> | ||
| <vbios_keyboard host_keyboard="0x10000"/> | ||
| <vbios_mem/> | ||
| <vbios_time/> | ||
| <vbios_reset/> | ||
|
|
||
| <msi/> | ||
| <ioapic/> | ||
| <pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8" | ||
| mem_base="0xe0000000"/> | ||
| <pmtimer io_port="0x8000"/> | ||
|
|
||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
|
|
||
| <ahci mem="0xe0800000" irq="14" bdf="0x30"/> | ||
| <drive sigma0drive="0" controller="0" port="0"/> | ||
| <drive sigma0drive="1" controller="0" port="1"/> | ||
| <intel82576vf/> | ||
|
|
||
| <virtio_input irq="11"/> | ||
| <virtio_gpu irq="13"/> | ||
| </machine> | ||
| <multiboot/> | ||
| </config> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| <config vmm_memory="64M" width="1280" height="1024"> | ||
| <machine> | ||
| <mem start="0x0" end="0x9a000"/> | ||
| <mem start="0x100000" end="0xfffff000"/> | ||
| <!--<ioio/>--> | ||
| <nullio io_base="0x80" /> | ||
| <pic io_base="0x20" elcr_base="0x4d0"/> | ||
| <pic io_base="0xa0" irq="2" elcr_base="0x4d1"/> | ||
| <pit io_base="0x40" irq="0"/> | ||
| <scp io_port_a="0x92" io_port_b="0x61"/> | ||
| <kbc io_base="0x60" irq_kbd="1" irq_aux="12"/> | ||
| <keyb ps2_port="0" host_keyboard="0x10000"/> | ||
| <mouse ps2_port="1" host_mouse="0x10001"/> | ||
| <rtc io_base="0x70" irq="8"/> | ||
| <serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/> | ||
| <hostsink host_dev="0x4712" buffer="80"/> | ||
| <vga io_base="0x03c0"/> | ||
|
|
||
| <vbios_disk boot_disknr="1"/> | ||
| <vbios_keyboard host_keyboard="0x10000"/> | ||
| <vbios_mem/> | ||
| <vbios_time/> | ||
| <vbios_reset/> | ||
|
|
||
| <msi/> | ||
| <ioapic/> | ||
| <pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8" | ||
| mem_base="0xe0000000"/> | ||
| <pmtimer io_port="0x8000"/> | ||
|
|
||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
| <vcpu/> <halifax/> <vbios/> <lapic/> | ||
|
|
||
| <ahci mem="0xe0800000" irq="14" bdf="0x30"/> | ||
| <drive sigma0drive="0" controller="0" port="0"/> | ||
| <drive sigma0drive="1" controller="0" port="1"/> | ||
| <intel82576vf/> | ||
|
|
||
| <virtio_input irq="11"/> | ||
| <virtio_gpu irq="13"/> | ||
| </machine> | ||
| <multiboot/> | ||
| </config> |