Good resources on L4 userspace development

Question about which tools to use, bugs, the best way to implement a function, etc should go here. Don't forget to see if your question is answered in the wiki first! When in doubt post here.
Post Reply
StartOS
Member
Member
Posts: 29
Joined: Wed Dec 24, 2014 8:06 am
Location: Germany

Good resources on L4 userspace development

Post 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?
All a good OS needs to do is to run Linux inside QEMU :-)
Top
User avatar
Roman
Member
Member
Posts: 568
Joined: Thu Mar 27, 2014 3:57 am
Location: Moscow, Russia
Contact:
Contact Roman

Re: Good resources on L4 userspace development

Post by Roman »

Hello. Is that what you're looking for?
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
- Alan Kay
Top
StartOS
Member
Member
Posts: 29
Joined: Wed Dec 24, 2014 8:06 am
Location: Germany

Re: Good resources on L4 userspace development

Post 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?
All a good OS needs to do is to run Linux inside QEMU :-)
Top
User avatar
Roman
Member
Member
Posts: 568
Joined: Thu Mar 27, 2014 3:57 am
Location: Moscow, Russia
Contact:
Contact Roman

Re: Good resources on L4 userspace development

Post 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.
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
- Alan Kay
Top
StartOS
Member
Member
Posts: 29
Joined: Wed Dec 24, 2014 8:06 am
Location: Germany

Re: Good resources on L4 userspace development

Post 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?
All a good OS needs to do is to run Linux inside QEMU :-)
Top
Nable
Member
Member
Posts: 453
Joined: Tue Nov 08, 2011 11:35 am

Re: Good resources on L4 userspace development

Post 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.
Top
StartOS
Member
Member
Posts: 29
Joined: Wed Dec 24, 2014 8:06 am
Location: Germany

Re: Good resources on L4 userspace development

Post 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.
All a good OS needs to do is to run Linux inside QEMU :-)
Top
Post Reply

Return to “OS Development”