Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/L4Linux> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- L4Linux abstract "L4Linux is a variant of the Linux kernel that is being altered to the extent that it can run virtualized on the L4. L4 is a microkernel and the L4Linux kernel runs a service. L4Linux is not a fork but a variant and is binary compatible with the Linux/x86-Kern, thus it can replace the Linux kernel of any Linux distribution.L4Linux is being developed by the Dresden Real-Time Operating System Project (DROPS) to allow Real-time and Time-sharing-Programs to run on a computer in parallel at the same time.L4Linux also allows to set up a virtualized environment vaguely similar to Xen or KVM, but there are a couple of grave differences between the intention of Xen and L4Linux.".
- L4Linux developer Dresden_Real-Time_Operating_System_Project.
- L4Linux latestReleaseVersion "3.16".
- L4Linux license GNU_General_Public_License.
- L4Linux wikiPageExternalLink l4linux.org.
- L4Linux wikiPageID "40575597".
- L4Linux wikiPageLength "2975".
- L4Linux wikiPageOutDegree "18".
- L4Linux wikiPageRevisionID "631818878".
- L4Linux wikiPageWikiLink Android_(operating_system).
- L4Linux wikiPageWikiLink Berlin_Institute_of_Technology.
- L4Linux wikiPageWikiLink Category:Linux_kernel_variant.
- L4Linux wikiPageWikiLink Category:Virtualization-related_software_for_Linux.
- L4Linux wikiPageWikiLink Dresden_Real-Time_Operating_System_Project.
- L4Linux wikiPageWikiLink Dresden_University_of_Technology.
- L4Linux wikiPageWikiLink GNU_General_Public_License.
- L4Linux wikiPageWikiLink Kernel-based_Virtual_Machine.
- L4Linux wikiPageWikiLink L4_(microkernel).
- L4Linux wikiPageWikiLink L4_microkernel_family.
- L4Linux wikiPageWikiLink Linux_distribution.
- L4Linux wikiPageWikiLink Linux_kernel.
- L4Linux wikiPageWikiLink Microkernel.
- L4Linux wikiPageWikiLink Open_source.
- L4Linux wikiPageWikiLink Real-time_computing.
- L4Linux wikiPageWikiLink Technical_University_of_Berlin.
- L4Linux wikiPageWikiLink Time-sharing.
- L4Linux wikiPageWikiLink Xen.
- L4Linux wikiPageWikiLinkText "L4Linux".
- L4Linux developer Dresden_Real-Time_Operating_System_Project.
- L4Linux family Linux_kernel.
- L4Linux hasPhotoCollection L4Linux.
- L4Linux latestReleaseVersion "3.16".
- L4Linux license GNU_General_Public_License.
- L4Linux name "L4Linux".
- L4Linux programmedIn "C".
- L4Linux sourceModel Open_source.
- L4Linux title "L4Linux".
- L4Linux wikiPageUsesTemplate Template:Infobox_OS.
- L4Linux wikiPageUsesTemplate Template:Linux-stub.
- L4Linux wikiPageUsesTemplate Template:Linux_kernel.
- L4Linux wikiPageUsesTemplate Template:Reflist.
- L4Linux wikiPageUsesTemplate Template:Virtualization.
- L4Linux wikiPageUsesTemplate Template:Virtualization_products.
- L4Linux workingState "current".
- L4Linux subject Category:Linux_kernel_variant.
- L4Linux subject Category:Virtualization-related_software_for_Linux.
- L4Linux hypernym Variant.
- L4Linux type Software.
- L4Linux type Work.
- L4Linux type CreativeWork.
- L4Linux type Thing.
- L4Linux type Q386724.
- L4Linux type Q7397.
- L4Linux comment "L4Linux is a variant of the Linux kernel that is being altered to the extent that it can run virtualized on the L4. L4 is a microkernel and the L4Linux kernel runs a service.".
- L4Linux label "L4Linux".
- L4Linux sameAs L4Linux.
- L4Linux sameAs m.0x204c4.
- L4Linux sameAs Q1667277.
- L4Linux sameAs Q1667277.
- L4Linux wasDerivedFrom L4Linux?oldid=631818878.
- L4Linux homepage l4linux.org.
- L4Linux isPrimaryTopicOf L4Linux.
- L4Linux name "L4Linux".