ehmry/genode-ehmry
ehmry
/
genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Seoul NOVA VMM 

Not sure if it works...
This commit is contained in:
Ehmry - 2019-04-17 19:49:40 +02:00
parent 33a7ad99c2
commit b347d778ff
3 changed files with 136 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
vm/seoul-nova/Tupfile Normal file
View File

@ -0,0 +1,14 @@
TARGET_NAME = seoul_nova
include_rules
: vm_seoul.cfg |> !collect_raw |>
: |> !raw |>
PKG_DEPENDS += \
@(PUBLIC_SRC_BASE_NOVA) \
@(PUBLIC_SRC_INIT) \
@(PUBLIC_SRC_NIT_FB) \
@(PUBLIC_SRC_SEOUL_NOVA) \
_/raw/$(TARGET_NAME) \
: runtime |> !collect_pkg_runtime |>

83
vm/seoul-nova/runtime Normal file
View File

@ -0,0 +1,83 @@
<runtime ram="512M" caps="2200" binary="init">
<requires>
<block label="primary"/>
<block label="secondary"/>
<nic/>
<nitpicker/>
<rm/>
<rom label="platform_info"/>
<rtc/>
</requires>
<content>
<rom label="init"/>
<rom label="nit_fb"/>
<rom label="seoul"/>
<rom label="timer"/>
<rom label="vm_seoul.cfg"/>
</content>
<config verbose="yes" prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Block"/>
<service name="File_system"/>
<service name="Nitpicker"/>
<service name="Rtc"/>
<service name="Nic"/>
</parent-provides>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<config/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nit_fb" priority="0">
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" /> <service name="Input" />
</provides>
<config initial_width="640" initial_height="400"/>
<route>
<service name="Nitpicker"> <parent label=""/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="seoul" priority="-1" caps="200" ld="no">
<binary name="seoul"/>
<resource name="RAM" quantum="8G"/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<service name="Timer">
<child name="timer"/> </service>
<service name="Framebuffer">
<child name="nit_fb"/> </service>
<service name="Input">
<child name="nit_fb"/> </service>
<service name="Block">
<parent label="primary"/> </service>
<service name="Block" label="VirtualDisk 1">
<parent label="secondary"/></service>
<any-service> <parent/> </any-service>
</route>
<configfile name="vm_seoul.cfg"/>
</start>
</config>
</runtime>

39
vm/seoul-nova/vm_seoul.cfg Normal file
View File

@ -0,0 +1,39 @@
<config colocate="1">
<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/>
<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/>
<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
<drive sigma0drive="0" controller="0" port="0"/>
<drive sigma0drive="1" controller="0" port="1"/>
<intel82576vf/>
</machine>
<multiboot/>
</config>