blob: 3e4603e7e984ac4b42b57fdcf088e49366d14fd3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
RGMP README File
================
RGMP stands for RTOS and GPOS on Multi-Processor. RGMP is a project for
running GPOS and RTOS simultaneously on multi-processor platforms. You can
port your favorite RTOS to RGMP together with an unmodified Linux to form a
hybrid operating system. This makes your application able to use both RTOS
and GPOS features.
See http://rgmp.sourceforge.net/wiki/index.php/Main_Page for further
information about RGMP.
The updated build instructions can be found at:
http://rgmp.sourceforge.net/wiki/index.php/Documentation
Ubuntu Build Instructions
--------------------------
Build requirements:
* x86 PC:
Ubuntu 10.04, 10.10 or 11.04
* OMAP4430 pandaboard:
Ubuntu 11.04
Run requirements:
* multi-processor x86 PC:
Ubuntu 10.04, 10.10 or 11.04
* OMAP4430 pandaboard:
Ubuntu 11.04
1. Download RGMP from the following URL:
http://rgmp.sourceforge.net/wiki/index.php/Download
You should choose a right verion of RGMP compatible with this NuttX release.
Extract the tar file:
$ tar -xjvf rgmp-<RGMP-version>.tar.bz2
2. Get Linux kernel header:
$ sudo apt-get install linux-headers-$(uname -r)
3. Build and install RGMP:
$ cd <rgmp-dir>
$ ./configure
$ make
$ sudo make install
$ sudo /usr/rgmp/setup
$ exit
4. Configure NuttX. For example, for the RGMP x86 NSH configuration, do the
following:
$ cd <nuttx-dir>
$ cd tools
$ ./configure.sh rgmp/x86/nsh
$ cd ..
5. Build NuttX. Get the binary image at <nuttx-dir>/kernel.img.
$ cd <nuttx-dir>
$ make
6. Run NuttX in RGMP:
$ cd <nuttx-dir>
$ su
$ rgmp_run
Other Linux OS Build Instruction
--------------------------------------
Requirements:
* multi-processor x86 PC
running Linux kernel 2.6.32, 2.6.35 or 2.6.38
* OMAP4430 pandaboard
running Linux kernel 2.6.38
1. Get your running Linux kernel header under /usr/src/linux-headers-$(uname -r)
directory.
2. Following the Ubuntu steps begin at 3.
Note: You can configure the RGMP to find Linux kernel header in a different
place and install RGMP to a different place. See information printed
by the following instruction:
$ cd <rgmp-dir>
$ ./configure -h
|
