mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
dab7c64762
Since repos/base/board/pc/devices is empty, the run script no longer works on PC. Nobody noticed because the use case of this run script - as development test loop for the ps2 and fb_sdl - are better served by other scenarios nowadays, e.g., using declaring 'build: ps2' for a custom Sculpt OS build. Removed in the context of issue #4860.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.