two lines should be adjusted slightly:
local loader = L4.default_loader;
local io_buses =
{
vbus1 = loader:new_channel();
};
- loader:start({ caps = { client1 = vbus1:svr(),
+ loader:start({ caps = { client1 = io_buses.vbus1:svr(),
icu= L4.Env.icu,
Am 28.05.2014 00:55, schrieb Adam Lackorzynski:
> Hi,
>
> On Tue May 27, 2014 at 13:51:31 -0800, Yuxin Ren wrote:
>> Now I am learning the kernel code of Fiasco.
>> But as I do not know much about C++, I feel confused about some code.
>
> Some C++ knowledge is required I think...
Also Fiasco is
On Tue, May 27, 2014 at 03:45:18PM +, Bouchra Elouri wrote:
> Hi Matthias,
> can you explain to me what this fonction do :Scheduler::kinvoke(L4_obj_ref
> ref, L4_fpage::Rights rights, Syscall_frame *f, Utcb const *iutcb, Utcb
> *outcb)
>
> L4_obj_ref ref : ?? explication
L4_obj_ref is a ref
On 2014-05-28 03:59, Yuxin Ren wrote:
Thank you very much.
But how can I know which file is compiled?
This is decided during build time based on your configuration. The
vuild system decides which file to build based on the
CONFIG_VIRT_OBJ_SPACE setting. See src/Modules.generic.
- Marcus