FreeRTOS is a real-time operating system kernel for embedded devices. Usually, we would use it for tiny-time-constraint applications where reliability is at utmost importance, so why bother about RTOS at all?
# Parallella (part 6): FreeRTOS
Category Archives: Linux
# Unknown ‘uname -p’ output?
Quick troubleshooting on potentially misbehaving `uname` command (printing unknown processor type). I've built assumptions on how the `uname` works, but as it came out it's not that straightforward.
# IPv6 NDP proxy
A short investigation on IPv6 configuration issue I happen to have after moving to Seattle. The solution is simple, just use NDP proxy... but why and when it's needed is way more intriguing.
# BPI-R1 Arch Linux 4.6.5 mainline kernel
Official image has many problems due to old kernel (3.8).
Enjoy upgraded image: archlinux-bpi-r1-2017-28-2017-4.6.5-sunxi-mainline.img