4SkinOS is a custom operating system for ESP32 microcontrollers, built on top of FreeRTOS and the ESP-IDF framework. It provides a shell interface, basic filesystem operations, and a platform for embedded application development.
- Custom operating system for ESP32
- Interactive shell interface
- In-memory filesystem with basic operations
- Task management and scheduling (leveraging FreeRTOS)
- Hardware abstraction layer (utilizing ESP-IDF)
4SkinOS is structured as follows:
- Hardware: ESP32 microcontroller
- Low-level drivers: ESP-IDF framework
- Real-time kernel: FreeRTOS
- Operating System: 4SkinOS
- Shell interface
- Filesystem management
- Task and resource management
- System calls and APIs
While 4SkinOS uses FreeRTOS and ESP-IDF, it extends their functionality to create a complete, custom operating system environment.
- ESP-IDF (Espressif IoT Development Framework)
- ESP32 development board
-
Clone the repository:
git clone https://github.com/yourusername/4SkinOS.git cd 4SkinOS
-
Set up the ESP-IDF environment:
. $HOME/esp/esp-idf/export.sh
-
Configure the project:
idf.py menuconfig
-
Build the project:
idf.py build
-
Flash the project to your ESP32:
idf.py -p /dev/ttyUSB0 flash monitor
Replace
/dev/ttyUSB0
with the appropriate port for your system.
Once flashed, the system will boot into a shell interface. Available commands include:
help
: Show available commandsreboot
: Reboot the systemls [path]
: List files in the current or specified directorycd <path>
: Change current directorypwd
: Print working directorymkdir <path>
: Create a new directorytouch <filename>
: Create a new filewrite <filename> <content>
: Write content to a fileread <filename>
: Read content from a filerm <path>
: Delete a file or empty directory
Contributions are welcome! Please feel free to submit a Pull Request.
This project is licensed under the MIT License - see the LICENSE file for details.
- Espressif for the ESP-IDF framework
- FreeRTOS for the real-time operating system