mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-05 13:34:11 +00:00
parent
b557fb13f9
commit
f36c0f150f
repos/demo/src
@ -5,7 +5,7 @@
|
|||||||
*/
|
*/
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Copyright (C) 2006-2013 Genode Labs GmbH
|
* Copyright (C) 2006-2014 Genode Labs GmbH
|
||||||
*
|
*
|
||||||
* This file is part of the Genode OS framework, which is distributed
|
* This file is part of the Genode OS framework, which is distributed
|
||||||
* under the terms of the GNU General Public License version 2.
|
* under the terms of the GNU General Public License version 2.
|
||||||
@ -37,13 +37,13 @@ class Launch_entry : public Scout::Parent_element, public Loadbar_listener
|
|||||||
/**
|
/**
|
||||||
* Constructor
|
* Constructor
|
||||||
*/
|
*/
|
||||||
Launch_entry(const char *prg_name, int initial_quota, int max_quota,
|
Launch_entry(const char *prg_name, unsigned long initial_quota,
|
||||||
Launchpad *launchpad,
|
unsigned long max_quota, Launchpad *launchpad,
|
||||||
Genode::Dataspace_capability config_ds)
|
Genode::Dataspace_capability config_ds)
|
||||||
:
|
:
|
||||||
_block(Scout::Block::RIGHT), _loadbar(this, &Scout::label_font),
|
_block(Scout::Block::RIGHT), _loadbar(this, &Scout::label_font),
|
||||||
_config(config_ds),
|
_config(config_ds),
|
||||||
_launcher(prg_name, launchpad, 1024 * initial_quota, &_config)
|
_launcher(prg_name, launchpad, initial_quota * 1024UL, &_config)
|
||||||
{
|
{
|
||||||
_block.append_launchertext(prg_name, &Scout::link_style, &_launcher);
|
_block.append_launchertext(prg_name, &Scout::link_style, &_launcher);
|
||||||
|
|
||||||
|
@ -188,7 +188,7 @@ Launchpad_child *Launchpad::start_child(const char *filename,
|
|||||||
unsigned long ram_quota,
|
unsigned long ram_quota,
|
||||||
Genode::Dataspace_capability config_ds)
|
Genode::Dataspace_capability config_ds)
|
||||||
{
|
{
|
||||||
printf("starting %s with quota %ld\n", filename, ram_quota);
|
printf("starting %s with quota %lu\n", filename, ram_quota);
|
||||||
|
|
||||||
/* find unique name for new child */
|
/* find unique name for new child */
|
||||||
char unique_name[64];
|
char unique_name[64];
|
||||||
|
Loading…
Reference in New Issue
Block a user