Files
genode-world/recipes/pkg/umurmur/runtime
Josef Söntgen 1a29597d57 Port of umurmur 0.2.17
Fixes #118.
2018-09-29 11:10:37 +02:00

62 lines
1.4 KiB
Plaintext

<runtime ram="8M" caps="200" binary="umurmur">
<requires>
<nic/>
<timer/>
<rtc/>
</requires>
<content>
<rom label="umurmur"/>
<rom label="ld.lib.so"/>
<rom label="libc.lib.so"/>
<rom label="libconfig.lib.so"/>
<rom label="libcrypto.lib.so"/>
<rom label="libm.lib.so"/>
<rom label="libssl.lib.so"/>
<rom label="posix.lib.so"/>
<rom label="protobuf-c.lib.so"/>
<rom label="vfs.lib.so"/>
<rom label="vfs_jitterentropy.lib.so"/>
<rom label="vfs_lwip.lib.so"/>
<rom label="zlib.lib.so"/>
</content>
<config>
<vfs>
<dir name="dev">
<log/> <rtc/>
<jitterentropy name="random"/>
</dir>
<dir name="socket"> <lwip dhcp="yes"/> </dir>
<dir name="etc">
<inline name="umurmur.conf">
max_bandwidth = 48000;
welcometext = "Welcome to uMurmur!";
# certificate = "/etc/umurmur/cert.crt";
# private_key = "/etc/umurmur/key.key";
password = "";
max_users = 10;
channels = ( {
name = "Root";
parent = "";
description = "Root channel. No entry.";
noenter = true;
},
{
name = "Lobby";
parent = "Root";
description = "Lobby channel";
}
);
default_channel = "Lobby";
</inline>
<ram/>
</dir>
</vfs>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/socket"/>
</config>
</runtime>