mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
4f69bd9fb8
Currently, the hello run script of the hello_tutorial misses some services the timer driver needs on various platforms. The hello_tutorial is meant for educational purposes only. So it's desireable to keep it simple. Instead of complexifying the configuration, this commit just removes the timer from the example.
41 lines
678 B
Plaintext
41 lines
678 B
Plaintext
#
|
|
# Build
|
|
#
|
|
|
|
build { core init hello drivers/timer }
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate config
|
|
#
|
|
|
|
install_config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="CAP"/>
|
|
<service name="LOG"/>
|
|
<service name="RM"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<start name="hello_server">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Hello"/></provides>
|
|
</start>
|
|
<start name="hello_client">
|
|
<resource name="RAM" quantum="1M"/>
|
|
</start>
|
|
</config>}
|
|
|
|
#
|
|
# Boot image
|
|
#
|
|
|
|
build_boot_image { core init hello_client hello_server timer }
|
|
|
|
append qemu_args " -nographic "
|
|
|
|
run_genode_until forever
|