Ericssonspråket Erlang och den bevisat korrekta australiska mikrokärnan Sel4 – det är två av beståndsdelarna i nyzeeländska Kry10:s operativsystem för IoT.
Nästa gång du planerar en IoT-produkt ...
... n respektive tredjepartsleverantörer kommer åt.
L4Re är en mikrokärna av senaste generationen i samma utvecklingsträd som mikrokärnan OKL4, som bland annat används i miljarder mobiltelefoner. L4Re utvecklas ...
... ytt flagg. Klicka för stora bilder! General Dynamics, OKL4 Hypervisorn OKL4 finns i miljarder mobiltelefoner. General Dynamics fick den genom att köpa australiska OK Labs hösten 2012. Redan 2011 pekad ...
Open Kernel Labs – det ledande företaget i övergången till den nya generationen mikrokärnor baserade på L4-arkitekturen – köps av amerikanska vapentillverkaren General Dynamics. Köpesumman avslöjas inte.OK ...
Bilar får virtuella processorer Det australiska operativsystemet OKL4 har valts av fordonsjätten Bosch som plattform för infotainmentsystem i bilar. Ordern kan innebära ett genombrott på en ny stor ma ...
... aren RIM och arbetar med dess operativsystem. OK Labs hypervisor OKL4 används i fler än en miljard mobiler. Linaro är approcessormakarnas samarbetsorganisation för anpassning av Linux till armprocessorer ...
Det garanterat felfria australiska operativsystemet OKL4 Verified kan nu laddas hem fritt över nätet för utvärdering. Det finns också tillgängligt för licensiering.Inget här är världen är säkert, tror du ka ...
... pdf 418 KB). Fler kostnadsfria rapporter finns på etn.se/expert
Australiska Open Kernel Labs hypervisor OKL4 har haft extrema framgångar som mobilplattform. Elektroniktidningen skrev om mikro ...
... OK Labs OKL4 används redan idag på mer än en halv milljard mobiltelefoner, bland annat HTC G1, G2 och Hero, Motorola Droid, Cliq och Evoke QA4, Palm Pre och Toshiba TG01OK. ...
... kthet. Först ut var australiska Open Kernel Labs och dess kärna OKL4 Secure (länk). – Vi anser oss faktiskt ha bättre förutsättningar än de, säger Jacques Brygier, marknadschef på Sysgo. – Redan när ...
ST-Ericsson bygger en mobilplattform tillsammans med australiska OK Labs vars mikrokärna OKL4 ska integreras med ST-Ericssons 3G-plattformar.Den hetaste mikrokärnan OK Labs representerar den senaste u ...
... la maskiner under OKL4 -- nej nu spekulerar jag för långt...)
Obs! Har ni tänkt på att nästa generations ARM och Atom är oprövade kort. Tänk om ARM suger? Tänk om Atom plötsligt är den som levererar b ...
... att bevisa korrektheten hos syskonoperativsystemet OKL4. De två kärnorna har mycket gemensamt och därmed tror företaget att mycket av bevisföringen kommer att kunna återanvändas. Det som bevisats är att den C-pr ...
... er enligt OK Labs att öppna helt nya möjligheter för att konstruera säkerhets-, verksamhets- och sekretesskritiska system. OK Labs teknikchef Gernot Heiser skräder – som vanligt – inte orden. – Det hä ...
... Xtratum och OKL4 är två lösningar i öppen källkod, den senare framgångsrikt kommersialiserad av australiska OK Labs. Wind River erbjuder virtualisering på multikärnor enligt modellen ...
Operativsystemet Android kan nu köras virtuellt i Australiska Open Kernel Labs mikrokärna OKL4.Det här betyder att Android på ett robust sätt kan köras tillsammans med andra operativsystem eller realtidsprogram på e ...
... Labs mikrokärna OKL4 stöder nu Symbian, det vanligaste operativsystemet i smartmobiler. OKL4 har redan bevisat sin förmåga att köra Linux och ett realtidsoperativsystem på samma kärna, vilket sänker ...
... har prestanda som ingen annan kan matcha.
– Det som Motorola gör i QA4 skulle efter vad jag vet inte vara varit möjligt att göra med hjälp av någon annan produkt, vad gäller prestanda och även ann ...
... d och därmed får modifieras. Precis som OK Labs operativsystem OKL4, är Eneas operativsystem OSE en mikrokärna och kan enligt Enea anpassas till att fungera som effektiv hypervisor. OK Labs betonar att de ...