Hacker News Reader

It would likely be similar to gaming on Linux but with the limitations of ARM-only and OpenGL ES 3.1 or Vulkan 1.2. [1]

What would be more interesting is an open source micro-kernel and gaming SDK targeting Raspberry Pi.

1. See https://www.pcgamingwiki.com/wiki/List_of_Linux_ARM_games

I think it could avoid some of the issues with gaming on linux because you could focus in on a unified platform and if there was a gaming SDK targeting the pi we might see orginal games being made as opposed to just ports.

Also what exactly would a micro-kernel entail? I'm much more familiar with game development than os development.

Most Raspberry Pi Linux distros take around 10 seconds to boot. It can be made faster by using a tiny distribution or something like https://www.linuxfromscratch.org/ but it would be nice to find an OS geared towards gaming.

> OpenGL ES 3.1 or Vulkan 1.2.

Weird that it doesn't have the full OpenGL, even if it was through Zink.

Reply on news.ycombinator.com