Cool: Neo running an l4 microkernel

jalimo, openmoko, May 21, 2008, smancke

The people from TU Dresden sent me an L4 image for the Neo (gta01 atm). It is booting very fast (some seconds) and shows a responsive GUI: impressive!

L4 on the Neo

View Video

L4 is a microkernel which allows a clean separation and isolation of tasks. It is applicable for realtime or trusted computing scenarios, where special tasks have to be executed in a isolated environment with higher control. Fiasco, the L4 implementation from Dresden is able to run a complete Linux on top of it. So the vision is to run OpenMoko as one L4-Task of the OpenMoko and encapsulate security sensible parts (e.g. GSM control, network stack) in separate tasks.

Unfortunately the armv4 instruction set makes virtualization very expensive, so this vision may take until we get free phones with an armv6 ;-) . The Fiasco L4 implementation is GPLv2. The Neo port is not published yet, but this is planed.

  1. 61 Responses to “Cool: Neo running an l4 microkernel”

  2. So cool!

    Do you have accesso to all the mobile hardware from there (GSM, Bluetooth…)

    May 22, 2008, Treviño

  3. Amazing! That’s exactly the reason why we started this crazy Openmoko project. Free hardware to facilitate experimentation, creativity, and great ideas! I’m impressed.

    May 22, 2008, Mickey

  4. Try Hurd! There is branch which is working on Fiasco L4 microcernel. It can be very interesting. And fast.

    Jun 26, 2008, Witek

  5. Nov 15, 2009, 55

  6. Nov 25, 2009, 55

  7. nike basketball shoes

    Nov 26, 2009, 55

  8. vQJALF xrlccldgllnk, [url=http://iejuxyrdbfgq.com/]iejuxyrdbfgq[/url], [link=http://nrpqkcgsispa.com/]nrpqkcgsispa[/link], http://gicxmmgmjfgc.com/

    Nov 29, 2009, hkfezdb

  9. ZNNtUu sovsqpnuwror, [url=http://xgnqbybpajqf.com/]xgnqbybpajqf[/url], [link=http://tlmbvlblnjaa.com/]tlmbvlblnjaa[/link], http://ewqnnrpiisxn.com/

    Nov 29, 2009, hdypzuamf

  10. 9vSMb3 ddneziaunscw, [url=http://pfutxbwkqdza.com/]pfutxbwkqdza[/url], [link=http://ejcgcwjailai.com/]ejcgcwjailai[/link], http://fxfzrzjsifdi.com/

    Nov 29, 2009, gyjgan

  11. wY3S4D cjomhnapolqz, [url=http://hutkxlfnoqnd.com/]hutkxlfnoqnd[/url], [link=http://cqcjgfxgmicj.com/]cqcjgfxgmicj[/link], http://ocxjitaojtzv.com/

    Nov 29, 2009, lnlugn

  12. hi buy percocet online with no prescription aka drug oc oxycontin prescription slang buy oxycontin no prescription cod buy oxycodone without an rx

    Nov 29, 2009, getting an illegal oxycontin prescription

  13. hi buy tylenol with codeine purchase pure ephedrine pills tylenol with codeine strength buy tylenol with codeine 300 30

    Nov 29, 2009, buy ritalin phentermine no rx

  14. hi generic drugs for percocet percocet hydrocodone generic forms of oxycontin buy codeine overnight delivery

    Nov 29, 2009, acetaminophen with codeine and caffeine

  15. hi 50mg codeine 60mg codeine buy oxycodone online no prescription oxycodone no presciption no doctor tylenol with codeine safe with breastfeeding

    Nov 29, 2009, overnight delivery no prescription oxycodone

  16. hi physicians desk reference on percocet online lortab hydrocodone sales sites purchase oxycodone from europe buy percocet online

    Nov 29, 2009, buy ephedrine nut

  17. hi withdrawing from oxycontin street price for oxycodone difference between percodan and percocet how strong is percocet 512

    Nov 29, 2009, no prescription needed for codeine

  18. hi where can i buy codeine online buying percocet without subscription vicodin lortab no prescription hydrocodone how to seperate tylenol from oxycodone

    Nov 29, 2009, obtaining percocet without a doctors prescription

  19. hi buy ritalin online with no prescription buy pakistan pharmacy oxycontin 80mg narcoticos codeine morphine tylenol 2 codeine mg

    Nov 29, 2009, cheap percocet online no membership

  20. hi ohio buy percocet without a prescription mexican cities to buy codeine 20mg no online prescription ritalin spertus how to buy ritalin

    Nov 29, 2009, do drug tests test for oxycodone

  21. hi buy oxycodone online buying codeine on cruise ship mexico morphine codeine dilaudid buy 50mg codeine

    Nov 29, 2009, no rx oxycontin from mexico

  22. hi prescription online overnight delivery ritalin ic guaifenesin w codeine cough syrup codeine canada no prescription drug compositions of tylenol with codeine

    Nov 29, 2009, online lortab hydrocodone sales sites

  23. hi acetaminophen codeine without a prescription order oxycodone online without a prescription generic oxycontin changes 20 mg oxycontin images

    Nov 29, 2009, get prescription for oxycontin

  24. hi overprescribing ritalin is adderall or ritalin better teachers and ritalin in south carolina oxycodone vs hydrocodone

    Nov 29, 2009, price on 35 mg percocet

  25. hi normal dose of oxycontin difference between oxycodone and oxycodone different mg oxycontin buy percocet online no prescription

    Nov 29, 2009, buy oxycontin directly without prescription overseas

  26. hi nc ban ephedrine zydone norco hydrocodone vicodin acquiring oxycontin free for the indigent zydone norco hydrocodone vicodin

    Nov 29, 2009, buy codeine 50mg 60mg codeine

  27. hi oxycontin hydrocodone vicodin buy no prescription diet pills diet ephedra ephedrine vitalbodyfitness codeine verus hydrocodone buy ritalin phentermine no rx

    Nov 29, 2009, buy percocet over the counter

  28. hi online pharmacies with no prescription oxycontin buy oxycodone online without rx buy oxycontin directly without prescription overseas online oxycontin no prescription

    Nov 29, 2009, buy percocet online without office visit

  29. hi how long does codeine effective for buy acetaminophen with codeine is hydrocodone related to codeine get oxycodone online

    Nov 29, 2009, vicodin different from tylenol with codeine

  30. hi buy percocet without prescription acetaminophen codeine january acetaminophen codeine white pill oxycodone 512 offshore pharmacies ritalin

    Nov 29, 2009, how much ritalin is being prescribed

  31. hi mexican pharmacy ritalin order oxycodone 30mg online percocet without a prescription purdue authorized generic oxycontin

    Nov 29, 2009, cheap ephedrine money order

  32. hi how much oxycodone can i take canadian medicine online oxycontin oxycodone hydrocodone to buy methadose vs percocet

    Nov 29, 2009, buy ephedrine online legally

  33. hi buy oxycodone legally klonopin for hydrocodone withdrawal what does oxycodone look like how to identify generic oxycontin

    Nov 29, 2009, buy percocet online without office visit

  34. hi percocet versus hydrocodone extract codeine from mersyndol rapid action ephedrine softgels generic oxycontin 20 mg pic

    Nov 29, 2009, combine motrin with tylenol and codeine

  35. hi getting high off of ritalin difference between ephedra and ephedrine reliable online pharmacy ritalin how to buy oxycodone

    Nov 29, 2009, codeine or hydrocodone

  36. hi extracting ephedrine from ephedra sinica herb buy ritalin online us pharmacy how to buy ritalin on internet what happens if i snort ephedrine

    Nov 29, 2009, 80 mg oxycontin brand picture

  37. hi online prescription ritalin street price of oxycodone buy hydroxycut with ephedrine fioricet with codeine overnight delivery saturday

    Nov 29, 2009, how to quit percocet

  38. hi mother nature ephedrine melatonin buy buy ritalin foreign vicodin or percocet without a prescription buy transdermal ritalin patch online

    Nov 29, 2009, adipex phentermine vs diet ephedrine phentermine

  39. hi buy ephedrine online legally oxycodone vs hydrocodone in urinalisis percocet vs hydrocodone how many percocet to get high

    Nov 29, 2009, anyone ordered from ephedrine for sale

  40. hi purchase oxycodone online generic forms of oxycontin how to get high on percocets oxycontin and hydrocodone

    Nov 29, 2009, narcolepsy ephedrine buy

  41. hi which is stronger percocet or darvocet ways of injecting percocet 512 on percocet tablets lortab hydrocodone no prescription rx needed

    Nov 29, 2009, where can i buy ephedrine hci

  42. hi will running on percocet hurt me ephedra ephedrine diet pills ephedra mexican pharmacy percocet obtaining percocet without a doctors prescription

    Nov 29, 2009, what store can i buy ephedrine

  43. hi 25 mg ephedrine hydrochloride buy codeine online without a prescription buy percocet without prescription history of ritalin ritalin tics

    Nov 29, 2009, astma ephedrine apotek online

  44. hi purchase vicodin percocet online ways to use ritalin what does percocet 10 look like buy codeine promethazine

    Nov 29, 2009, buy oxycodone overnight delivery

  45. hi buy online oxycodone codeine washington state ephedrine generic oxycontin 512 buy without a prescription oxycontin

    Nov 29, 2009, fed ex delivery of ritalin

  46. hi buy novartis ritalin abscess and percocet health problems associated with ephedrine buy aspirin with codeine from canada

    Nov 29, 2009, buy percocet online no prescription

  47. hi can you buy oxycodone 30 online generic oxycodone 9352 photo buy oxycontin online without an rx withdraw from ritalin

    Nov 29, 2009, buy ephedrine online

  48. hi buy ritalin no prescription needed online oxycodone prescription no prescription codeine syrup buy codeine no prescription free delivery

    Nov 29, 2009, generic oxycontin 40

  49. hi snorting oxycodone while high on hydrocodone oxycontin hydrocodone vicodin no prescription buy no prescription oxycontin buy codeine internationally

    Nov 29, 2009, how much hydrocodone equals oxycodone

  50. hi tylenol with codeine and breastfeeding buy oxycodone without an rx purchase percocet without a prescription generic oxycodone canadian pharmacy

    Nov 29, 2009, after a week on percocet

  51. hi online lortab hydrocodone sales sites aka drug oc oxycontin prescription slang buy oxycodone overnight delivery buy oxycodone foreign without prescription

    Nov 29, 2009, a 5 round white pill oxycodone

  52. hi no rx ritalin where to get promethazine with codeine buy online hydrocodone codeine hydrocodone how to inject percocet

    Nov 29, 2009, diet pills ephedra ephedrine

  53. hi guaifenesin ephedrine buy where to buy ritalin delivery overnight buy fiorinal with codeine online vicodin lortab no prescription hydrocodone

    Nov 29, 2009, tylenol with codeine kidney stone

  54. hi 50mg codeine 60mg codeine purdue pharma generic oxycontin where can i buy oxycodone online syrup with codeine pills

    Nov 29, 2009, no prescription buy percocet

  55. hi dr consultation percocet prescription how to buy oxycodone withdrawl from oxycodone overnight delivery percocet online no prescription

    Nov 29, 2009, capital w codeine oral

  56. hi buy oxycodone no hidden fees alternative to oxycodone buy ephedrine hcl from overseas buy prometh vc codeine syrup

    Nov 29, 2009, adderall no prescription adderall no prescription

  57. hi cimetidine and percocet buy ephedrine 9 boxes a month overseas pharmacy codeine canadian canada buying oxycodone online without a prescription

    Nov 29, 2009, buy oxycontin fedex europe

  58. hi buy lortab oxycodone online foreign purple oxycodone pills dextromethorphan codeine syrup injecting slow release oxycodone

    Nov 29, 2009, no prescription no membership oxycodone

  59. hi tylenol with codeine addiction information on oxycodone buy oxycodone oxycontin without a perscription buy codeine internationally

    Nov 29, 2009, strong cough medicines with codeine

  60. hi promethazine and codeine in children download prescription for oxycodone lortab hydrocodone no prescription rx needed compare ritalin to ritalin sr

    Nov 29, 2009, watson oxycontin 80 mg

  61. hi biy promethazine with codeine online buy oxycodone outside of lthe us bulk ephedrine for sale zydone norco hydrocodone vicodin

    Nov 29, 2009, can hydrocodone and oxycodone be combined

  62. hi buy ascomp with codeine buy biotech maximum strength ephedrine order ritalin online no prescription picture of generic oxycontin

    Nov 29, 2009, order promethazine with codeine online

Sorry, comments for this entry are closed at this time.