Skip to content

Instantly share code, notes, and snippets.

@NobodyIII
Created January 15, 2015 21:45
Show Gist options
  • Save NobodyIII/76de78ba62e5547cdd6b to your computer and use it in GitHub Desktop.
Save NobodyIII/76de78ba62e5547cdd6b to your computer and use it in GitHub Desktop.
Genode Config
<config verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="LOG"/>
<service name="CAP"/>
<service name="RAM"/>
<service name="RM"/>
<service name="CPU"/>
<service name="PD"/>
<service name="IRQ"/>
<service name="IO_PORT"/>
<service name="IO_MEM"/>
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="acpi">
<resource name="RAM" quantum="128M"/>
<binary name="acpi_drv"/>
<provides>
<service name="PCI"/>
<service name="IRQ" />
</provides>
<route>
<service name="PCI"> <any-child /> </service>
<any-service> <parent/> <any-child /> </any-service>
</route>
</start>
<start name="timer">
<resource name="RAM" quantum="128M"/>
<provides><service name="Timer"/></provides>
<route>
<service name="IRQ"><child name="acpi" /></service>
<any-service> <parent /> <any-child /></any-service>
</route>
</start>
<start name="rom_blk">
<resource name="RAM" quantum="32M"/>
<provides><service name="Block"/></provides>
<config file="ata.raw" block_size="512"/>
</start>
<start name="ahci">
<resource name="RAM" quantum="128M"/>
<provides><service name="Block"/></provides>
<route>
<service name="IRQ"><child name="acpi" /></service>
<any-service> <parent /> <any-child /></any-service>
</route>
</start>
<start name="test-blk-cli-nowrite">
<resource name="RAM" quantum="128M"/>
<route>
<service name="Block"><child name="ahci"/></service>
<any-service><parent/><any-child/></any-service>
</route>
</start>
</config>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment