Re: [seL4] Hello. I'm Kihyun-seo in South Korea.

Hi, On the getting started page, The "Setting up your machine” part refers to setting up a machine that you will use to build the seL4 code. Note that this is not the same machine that you will actually run the code on. So in your case, you will perform this setup and then build the code on a Linux PC (not your Odroid XU), then you will need to transfer the code to the Odroid XU and run it on the Odroid XU. If you don’t have experience with sel4, then it’s best to first experiment with it and get a feeling for it using qemu, which is a hardware emulator. Then once you are comfortable with that, move onto hardware. The Getting Started page walks you through that. With regards to running Linux virtualised on seL4 (which is what your first picture shows), we have a project that you can use as a starting point for that. See https://github.com/SEL4PROJ/camkes-arm-vm-manifest. I recommend starting with that only after you are comfortable working with smaller and simpler seL4 and CAmkES projects. Finally, the error you are seeing is because you don’t have all the necessary packages installed under Linux. In particular you are missing ncurses. Ihor.

On 17 May 2016, at 1:36 am, 서기현 wrote:

Hello, I am a student of the Hanseo University in Korea. I want to create a UAV(drone) that uses Odroid XU4 Odroid XU4's Detailed Specifications = http://www.hardkernel.com/main/products/prdt_info.php?g_code=G143452239825 I want to install seL4 on the board for the security of the drones. The board has “ubuntu-15.04-robotics-odroid-xu4-201” 32bit linux version.

I have two questions.

First, I understood that after installing the seL4 first, and installing the linux later after seeing the 1.jpg. However, in the “https://wiki.sel4.systems/Getting%20started”. “Setting up your machine - These instructions are for Ubuntu. They assume you already know the basics of using the command line, compilers and GNU Make.” So then, Should I install the Linux(ubuntu) first, and install the seL4 later? I wonder what is correct. and I need more detailed explanation.

Second, An error occurred during install the seL4 like 2.jpg. (command = "make menuconfig" in "Build ia32" part.) I need a solution about the error.

Please answer my two questions.

<1.jpg><2.jpg>_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.