= L4 =

김도집

[[TableOfContents]]

== L4 ==
마이크로 커널 중 하나로 [http://www.l4ka.org]에서 관련 정보를 구할 수 있다.

== L4::pistachio ==
[http://www.l4ka.org/projects/pistachio/]에서 관련 정보를 구할 수 있다.
=== 빌드하기 ===
 1. 소스에서 kernel 디렉토리로 들어간다. 
 1. 빌드 결과를 저장하기 위한 디렉토리를 결정한다 (디렉토리를 만들진 마라)
 1. make BUILDDIR={앞서 결정한 빌드 디렉토리} 를 실행한다.
 1. 빌드 디렉토리로 들어간다.
 1. make menuconfig 를 실행한다.
 1. 위 과정을 마치면 Makeconf.local 파일이 만들어진다.
  * gcc가 만드는 중간 생성 파일을 보고자 한다면 CFLAGS를 수정한다.
   CFLAGS += -save-temps
  * 디버그 심볼 정보를 추가하고자 한다면 다음과 같이 수정한다.
   CFLAGS += -g[[BR]]
   CCFLAGS += -g[[BR]]
   ASMFLAGS += -g[[BR]]
  * 툴체인을 지정한다.
   TOOLPREFIX=arm-linux-
 1. make
=== 실행하기 on skyeye ===
다음은 skyeye 0.x 에서 사용하는 config 파일이다. skyeye에 대해 상세한 내용은 [skyeye]를 참고하라.

{{{#!vim sh
#skyeye config file sample
cpu: sa1100 
mach: sa1100
mem_bank: map=I, type=RW, addr=0x80000000, size=0x40000000
mem_bank: map=M, type=RW, addr=0xc0000000, size=0x02000000
mem_bank: map=I, type=RW, addr=0xe0000000, size=0x08000000
#0xe0000000 128M cache flush memory bank
}}}
== L4::fiasco ==
 * [http://os.inf.tu-dresden.de/fiasco/]