Hi Ivan,
I just want to give notice that we implemented an interim fix for the
problem you reported. It the fix is included in the Genode 12.02
release. The relevant commit is:
https://github.com/genodelabs/genode/commit/41eaff2cc656942e1b6a1665ade99f09342627f9
The problem is also covered in th
I just opened a new issue about the problem:
https://github.com/genodelabs/genode/issues/106
Norman
--
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud c
Hello Ivan,
> addr_t genode_ep = env()->ram_session_cap().dst();
> for(long badge = 0;; badge++)
> {
> Dummy_client client(Native_capability(genode_ep, badge));
> client.call_dummy_rpc_1();
> ...
> client.call_dummy_rpc_k(); // say k>10
> }
>
> May be we don't understand Genod
Hi,
we have an idea that can flow Genode security system, correct me if we
are wrong. It also can hack signal service. The ideas of
kernel-protected capabilities are interesting, but we think the
implementation of Genode capabilities has some features. Although we
consider only Genode on Fiasc
Hello again,
> Unfortunately, a real solution for the problem is not as simple as that.
> You are right that the badge is used as a key for looking up the
> signal-context within core. But by passing the badge as plain data
> instead of a capability, the referred signal context could be forged by
Hi Ivan,
> We were investigating problem of sending big amount of data via network
> in Genode on Fiasco.OC. And we have found out some significant bug of
> the Genode Signal service implementation and we also could provide the
> simple stable solution. As know Packet_stream_rx and Packet_strea
Hi, All.
We were investigating problem of sending big amount of data via network
in Genode on Fiasco.OC. And we have found out some significant bug of
the Genode Signal service implementation and we also could provide the
simple stable solution. As know Packet_stream_rx and Packet_stream_tx
im
