Hi hackers,

I am learning the fiasco's source code recently, and I saw the doc in http://l4re.org/doc/ does not match with the code in l4re-snapshot-2014053111

such as:

in class scheduler, there has some function:

L4_msg_tag sys_run(L4_fpage::Rights, Syscall_frame *f, Utcb const *utcb);

L4_msg_tag sys_idle_time(L4_fpage::Rights, Syscall_frame *f, Utcb *utcb);

L4_msg_tag sys_info(L4_fpage::Rights, Syscall_frame *f, Utcb const *iutcb, Utcb *outcb);

but in the document, the function are not the same:

l4_msgtag_t info (l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()

l4_msgtag_t run_thread (Cap< Thread > const &thread, l4_sched_param_t const &sp, l4_utcb_t *utcb=l4_utcb()) const throw ()

l4_msgtag_t idle_time (l4_sched_cpu_set_t const &cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()

So, Is this doc out of date? and if the answer is yes, where can i find some fresh doc? if no, How to use the doc correctly?

Thanks,

Kevin