need some help in okl4

Hello l4-hackers community, Does anyone have experience with okl4's distribution? I have some questions on how to make gta01 platform simulate in Skyeye starting from okl4_release_1.5.2 with lcd support. I changed machines.py in platform/s3c2410/tools to contain: lcd: state=on, type=s3c2410x, mod=gtk I know Skyeye can simulate the LCD (verified it in arm's testsuite). Gabi --------------------------------- Never miss a thing. Make Yahoo your homepage.