Page 1 of 1
Good resources on L4 userspace development
Posted: Fri Jul 10, 2015 12:38 am
by StartOS
I have thought of using an l4 microkernel (preferably l4ka::pistachio) in my os, but I haven't found any good resources regarding user space l4 development.
Are there any good tutorials, PDF's, blog posts, etc. for this topic?
Re: Good resources on L4 userspace development
Posted: Fri Jul 10, 2015 7:59 am
by Roman
Hello. Is
that what you're looking for?
Re: Good resources on L4 userspace development
Posted: Fri Jul 10, 2015 9:01 am
by StartOS
I saw the Kernel Reference manual, but it is not so begginner friendly as I want it to be.
Still, huge thanks Roman.
I have found this:
http://markustips.blogspot.com, but it still isn't what I wanted.
Is there any L4 userspace programming guide for begginner?
Re: Good resources on L4 userspace development
Posted: Fri Jul 10, 2015 10:04 am
by Roman
StartOS wrote:I saw the Kernel Reference manual, but it is not so begginner friendly as I want it to be.
Still, huge thanks Roman.
I have found this:
http://markustips.blogspot.com, but it still isn't what I wanted.
Is there any L4 userspace programming guide for begginner?
Unfortunately, I don't have any links meeting your criteria. Sorry.
Re: Good resources on L4 userspace development
Posted: Sat Jul 11, 2015 6:03 am
by StartOS
Unfortunately, I don't have any links meeting your criteria. Sorry.
So maybe some useful forum threads?
Everyone who develops user space programs for l4 somehow got started.
Maybe someone will share their experience in beginning to develop for L4?
Re: Good resources on L4 userspace development
Posted: Sat Jul 11, 2015 6:14 am
by Nable
Google("writing applications for L4 kernel") ->
6th link ->
http://os.inf.tu-dresden.de/l4env/doc/h ... index.html
I hope it helps.
Re: Good resources on L4 userspace development
Posted: Sat Jul 11, 2015 9:33 am
by StartOS
Just came accross this:
http://os.inf.tu-dresden.de/L4/bib.html.
This is an eldorado on l4 documentation.
Still huge thanks Roman and Nable.