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%E2%80%9D. “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.
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%E2%80%9D.
“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?
The "intended" way to build seL4 is to cross-compile it for the target platform (it might be possible also to build seL4 on the Odroid, but this surely makes things a lot more complicated). So install Ubuntu (or another GNU/Linux distribution) on your build machine to cross-compile seL4 there for the target platform you want it to deploy to.
Wolfgang
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, 서기현 ganagono@naver.com 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%E2%80%9D. “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.
-
Ihor Kuz UNSW -
Wolfgang Keller -
서기현