ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hello: fix resource config / add to autopilot list

Browse Source
This commit is contained in:
Christian Helmuth 2021-09-23 14:16:16 +02:00 committed by Norman Feske
parent 5aa3c56e5c
commit 32394c0733
3 changed files with 17 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/hello_tutorial/doc/hello_tutorial.txt
View File

@ -257,10 +257,10 @@ entry to init's 'config' file, which is located at 'build/bin/config'.
! <default-route>
! <any-service> <parent/> <any-child/> </any-service>
! </default-route>
! <default caps="50"/>
! <default caps="60"/>
! <start name="hello_server">
! <resource name="RAM" quantum="1M"/>
! <provides><service name="Hello"/></provides>
! <provides> <service name="Hello"/> </provides>
! </start>
! </config>
@ -408,7 +408,7 @@ script, which can be executed directly from within your build directory.
A run script for the hello client-server scenario should be placed
at the _run/hello.run_ and look as follows:
!build { core ld.lib.so init hello }
!build { core init hello }
!
!create_boot_directory
!
@ -420,7 +420,7 @@ at the _run/hello.run_ and look as follows:
! <default-route>
! <any-service> <parent/> <any-child/> </any-service>
! </default-route>
! <default caps="50"/>
! <default caps="60"/>
! <start name="hello_server">
! <resource name="RAM" quantum="1M"/>
! <provides> <service name="Hello"/> </provides>
@ -430,7 +430,7 @@ at the _run/hello.run_ and look as follows:
! </start>
!</config>}
!
!build_boot_image { core init hello_client hello_server }
!build_boot_image { core ld.lib.so init hello_client hello_server }
!
!append qemu_args " -nographic "
!

2
repos/hello_tutorial/run/hello.run
View File

@ -21,7 +21,7 @@ install_config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="50"/>
<default caps="60"/>
<start name="hello_server">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Hello"/> </provides>

21
tool/autopilot.list
View File

@ -1,32 +1,33 @@
aes_cbc_4k
bomb
cbe_tester
cpu_bench
cpu_balancer
cpu_bench
cpu_quota
cpu_sampler
demo
depot_autopilot
depot_download
depot_query
event_filter
extract
fb_bench
fetchurl_lwip
fetchurl_lxip
fs_query
gdb_monitor
hello
ieee754
init_smp
event_filter
libc_integration
libc_vfs_fs_ext2
libc_vfs_fs_fat
log_core
lwip
lx_fs_import
lx_hybrid_ctors
lx_hybrid_exception
lx_hybrid_pthread_ipc
lx_fs_import
microcode
migrate
moon
@ -42,14 +43,13 @@ nic_bridge
nic_bridge_stress
nic_dump
nic_router
nic_router_ipv4_fragm
nic_router_disable_arp
nic_router_dhcp_managed
nic_router_dhcp_unmanaged
nic_router_disable_arp
nic_router_flood
nic_router_ipv4_fragm
nic_router_stress
nic_router_uplinks
tool_chain_auto
nvme
ping
ping_nic_router
@ -58,17 +58,18 @@ rtc
rump_ext2
sd_card_bench
seoul-auto
ssh_exec_channel
smartcard
smbios_decoder
smp
sntp_client
ssh_exec_channel
sub_rm
tar_rom
thread
timeout
timeout_smp
timer_accuracy
tool_chain_auto
tz_vmm
usb_hid_raw
usb_hid_reconnect
@ -86,11 +87,11 @@ vbox5_win7_64
vbox5_win7_64_multiple
vbox5_win7_64_raw
vbox5_win7_64_share
vm_stress_vbox5-debian32
vm_stress_vbox5-debian64
vm_stress_seoul-debian32
verify
vfs_cfg
vfs_import
vm_stress_seoul-debian32
vm_stress_vbox5-debian32
vm_stress_vbox5-debian64
vmm_arm
vmm_x86