SeL4 environment configuration, sel4 Environment

SeL4 environment configuration, sel4 Environment
Since we are running seL4, the difference between the macro kernel and the micro kernel should be very clear. Here we will briefly introduce the differences between the two. This article is mainly used to complete the seL4 environment configuration..

For Tom, it is really difficult to read and understand the seL4 microkernel on his own. At present, I have followed the instructor's TA to analyze and understand the seL4 microkernel. So I am going to update seL4's blog for a long time. I hope you will have more support. Please help us to correct the mistakes.

The difference between the two is simply mentioned. Relevant information is sufficient to find and satisfy your own needs.

Micro-kernel: all servers are relatively independent and run in their respective address spaces. Inter-process communication mechanism (IPC) is used to implement inter-process communication and interchange of "services ". The independent operation of the server avoids a server crash or its own server.

Macro kernel: Also known as a single kernel, which is implemented as a large process and runs in a separate address space at the same time. This also means that all kernel services can directly call functions, which is simple and efficient.

Macro kernel and micro kernel architecture:

The following examples are ubuntu (64-bit) or can be installed in Ubuntu (64-bit). Of course, you can try other Unix systems (including Mac OS.

Requirements for the first experiment:

Recommended technology sharing site: http://www.jianshu.com/users/d130a6d54c7b/latest_articles (technology sharing, welcome to join)