L4Linux

L⁴Linux

개발자	드레스덴 실시간 운영 체제 프로젝트
기입처	C
OS 패밀리	Linux 커널
동작 상태	현재의
소스 모델	오픈 소스
초기 릴리즈	1997년 10월 5일, 24년 전(1997-10-05)
최신 릴리즈	5.11 / 2020년 12월, 1년 전(2020-12년)
플랫폼	IA-32, x86-64, ARM
커널 타입	마이크로커널의 모노리식
면허증.	GNU 일반 공중 라이선스
공식 웹사이트	l4linux.org

LLinux는⁴ 운영 체제용 Linux 커널의 변형으로, L4Linux 커널이 서비스를 실행하는 L4 마이크로커널에서 반가상화를 실행할 수 있을 정도로 변경됩니다.L4Linux는 포크가 아니라 변형이며 Linux x86 커널과 바이너리 호환되므로 Linux 배포판의 Linux 커널을 대체할 수 있습니다.

LLinux는⁴ Dresden Real-Time Operating System Project(DROPS)에 의해 개발되고 있으며 실시간 및 시분할 프로그램을 동시에 컴퓨터에서 실행할 수 있습니다.

LLinux에서는⁴ Xen 또는 커널 기반 가상 머신(KVM)과 비슷한 가상화 환경을 설정할 수도 있지만 Xen과 LLinux의⁴ 의도 사이에는 몇 가지 큰 차이가^{[further explanation needed]} 있습니다.

L4 안드로이드

L4^[1] Android는 LLinux의⁴ 포크이며 안드로이드용 메인라인 Linux 커널의 수정을 포함합니다.드레스덴공대 운영체제 그룹과 베를린공대 전기통신보안담당 이사장의 공동 프로젝트다.

「 」를 참조해 주세요.

• 웜뱃(운영체제)
• MkLinux, Linux 커널과 유사하지만 마하 마이크로커널 포트

레퍼런스