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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
# Jobbed
## Build Information
### Building (Debian, WSL)
- Clone the repository.
- Ensure you have the `gcc-arm-none-eabi` cross compiler installed `# apt install gcc-arm-none-eabi`.
- From the root of the directory, i.e. in `Jobbed`, execute `make -f Unix.mk`
- The built image is found in `build/kernel7.img` and can be copied to the root of the Raspberry Pi SD card's first parition
### Building MacOS
- Clone the repository
- Ensure you have the `gcc-arm-embedded` formulae installed `$ brew install gcc-arm-embedded`.
- From the root of the directory, i.e. in `Jobbed`, execute `make -f Unix.mk`
- The built image is found in `build/kernel7.img` and can be copied to the root of the Raspberry Pi SD card's first parition
### Building (Google Colab)
- `!git clone https://github.com/TerminalCursor/Jobbed.git`
- `!apt install gcc-arm-none-eabi`
- `!cd Jobbed; make -f Unix.mk`
- The built image is found in `Jobbed/build/kernel7.img` and can be copied to the root of the Raspberry Pi SD card's first parition
### Creating a Bootable SD Card for the Raspberry Pi 2B
- The Raspberry Pi SD Card Imager can be obtained at `https://www.raspberrypi.com/software/`
- After imaging the SD card with the imaging software, delete all of the `kernel*.img` files in the root directory of the first partition of the SD card
- After removing all of the image files, copy the built `build/kernel7.img` file to the root directory of the first partition of the SD card
- Unmount the SD card, insert the SD into the Raspberry Pi, and apply power to run **Jobbed**
### Running in QEMU Emulator
- Ensure you have QEMU's ARM package installed on your system
- Minimum command line arguments to run: `qemu-system-arm -M raspi2b -cpu cortex-a7 -m 1G -kernel build/kernel.elf`
- When building `build/kernel7.img`, `build/kernel.elf` will also be built and is used to emulate the Raspberry Pi 2B
- If QEMU is installed, you can run **Jobbed** with `make -f Unix.mk clean run`
- You can also disable the QEMU window from appearing if you only have UART communication in your application with `SILENT=1 make -f Unix.mk clean run`
### Running in QEMU Emulator on WSL
- Download the QEMU ARM System Package and install it under `C:\qemu`
- Run **Jobbed** in QEMU from WSL with `make -f Win.mk clean run`
### Getting Cross Compiler
- https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/downloads
## Creating RTOS Applications
RTOS Applications are written in the `usr/` directory.
Jobbed, in `kernel/core.c` adds in the `main` function at the highest priority, expected to be defined in `usr/main.c`.
This `main` function, can serve as the initialization function for the RTOS application.
IRQ handles can be initialized with the `irq_subscribe(IRQ_NAME, callback_function, pointer to additional IRQ information)`.
Examples can be found in the provided `usr/main.c`.
Headers for files in `usr/` are expected in `include/usr/`. They can then be included in source files with `#include <usr/path/to/file.h>`.
Currently, if you build Jobbed without modifying anything, it will generate the RTOS core testing suite.
This testing suite outputs the tracing, thread switch, low and high priority thread creation, mutex creation, mutex destruction, mutex locking contention, mutex locking non-contention, mutex unlocking, semaphore waiting, semaphore signalling at zero, semaphore signalling non-zero timings to a 1920x1080 display output.
Currently the graphics driver expects this resolution of display.
If you have another resolution, this can be changed in `kernel/sys/core.c` by modifying `lfb_init(1920, 1080)` to `lfb_init(YOUR WIDTH, YOUR HEIGHT)`.
### C++
C++ sources in this directory are expected to work with a few missing features such as the `new` and `delete` keywords since memory is not dynamically allocated on the system.
## Misc Information
### Future
- USB Driver
- Ethernet Driver
- Move UART Polling Write to another method
- Make UART Write run as an event-based system
- Deterministic Graphics
- SPI Driver
- GPIO Falling Edge IRQ
### SVC Calls (In order)
- 0: Yield to threads in same priority
- 1: System Clock Time
- 2: Schedule
- 3: Add thread
- 4: Mutex Lock
- 5: Mutex Unlock
- 6: Semaphore Decrease
- 7: Semaphore Increase
- 8: Semaphore Increase by N
- 9: Cycle Counter
- A: Enable ARM Timer
- B: Disable ARM Timer
### Modes
- From https://developer.arm.com/documentation/den0013/d/ARM-Processor-Modes-and-Registers
- User: 10:10000 PL0
- FIQ : 11:10001 PL1
- IRQ : 12:10010 PL1
- SVC : 13:10011 PL1
- ABT : 17:10111 PL1
- HVC : 1A:11010 PL1
- UND : 1B:11011 PL1
- SYS : 1F:11111 PL1
### Registers
- From https://developer.arm.com/documentation/ddi0406/c/System-Level-Architecture/The-System-Level-Programmers--Model/ARM-processor-modes-and-ARM-core-registers/ARM-core-registers?lang=en
- User: r0-12_usr,sp_usr,lr_usr,CPSR
- FIQ: r8-r12_fiq,sp_fiq,lr_fiq,SPSR_fiq
- IRQ: sp_irq,lr_irq,SPSR_irq
- SVC: sp_svc,lr_svc,SPSR_svc
- ABT: sp_abt,lr_abt,SPSR_abt
- UND: sp_und,lr_und,SPSR_und
- SYS: Same as user
Note: SYS and USER share registers but differ in privilege
### Program Status Registers
- https://developer.arm.com/documentation/ddi0406/c/System-Level-Architecture/The-System-Level-Programmers--Model/ARM-processor-modes-and-ARM-core-registers/Program-Status-Registers--PSRs-?lang=en#CIHJBHJA
### Memory Layout
- 0x00004000 - 0x00008000 MMU Entries
- 0x00008000 - 0x0000F000 Code
- 0x0000F000 - 0x00010000 Data
- 0x00010000 - 0x000A3000 BSS
- 0x18000000 - 0x20000000 Thread Stacks
- 0x3F000000 - 0x40000000 MMIO
- 0x40000000 - 0xFFFFFFFF Local Peripherals
### Supplemental Links
- https://www.raspberrypi.com/documentation/computers/processors.html
- https://datasheets.raspberrypi.com/bcm2835/bcm2835-peripherals.pdf
- https://datasheets.raspberrypi.com/bcm2836/bcm2836-peripherals.pdf
- https://github.com/eggman/raspberrypi/tree/master/qemu-raspi2
- https://github.com/eggman/FreeRTOS-raspi3/blob/master/Demo/FreeRTOS_tick_config.c
- https://developer.arm.com/documentation/dui0802/b/A64-General-Instructions/A64-general-instructions-in-alphabetical-order?lang=en
- https://wiki.osdev.org/ARM_RaspberryPi
- https://elinux.org/RPi_Framebuffer
- https://github.com/bztsrc/raspi3-tutorial
- https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials
- // PRIV LEVL: https://developer.arm.com/documentation/den0013/d/ARM-Processor-Modes-and-Registers
- // MODES: https://developer.arm.com/documentation/ddi0406/c/System-Level-Architecture/The-System-Level-Programmers--Model/ARM-processor-modes-and-ARM-core-registers/ARM-processor-modes?lang=en
- // EXCEPTION HANDLING: https://developer.arm.com/documentation/ddi0406/c/System-Level-Architecture/The-System-Level-Programmers--Model/Exception-handling?lang=en
- // MODE REGISTERS: https://developer.arm.com/documentation/ddi0406/c/System-Level-Architecture/The-System-Level-Programmers--Model/ARM-processor-modes-and-ARM-core-registers/ARM-core-registers?lang=en
|
