search

CTSRD-CHERI / cheribuild

Easily build and run CHERI related projects
http://www.chericpu.com
Other
68 stars 46 forks source link

GUI #227

Open Asgard1232 opened 3 years ago

Asgard1232 commented 3 years ago

So far I've managed to get CheriBSD running with a command line interface (I'm a beginner in this area). Is there any guide available on how to obtain an interactive GUI running on CheriBSD, including programs such as e.g. a WebKit interface/browser or X11?

jrtc27 commented 3 years ago

X11 is a work in progress that currently requires manually applying various patches submitted upstream to fix code issues that show up on CHERI. But even then I highly doubt you want to use it, trying to run a GUI on QEMU (or, even worse, Arm's FVP) is too slow to be a good experience.

rwatson commented 3 years ago

Tagging @arichardson who has been doing our X11/desktop-related work. In that work he's generally been using XVNC rather than running X11 on the console. Even with QEMU rather than the FVP, it still runs very slowly -- but we are pushing ahead with development in anticipation of the Arm Morello platform becoming more widely available. (We also have implementation work bringing the Panfrost driver framework to FreeBSD to support the GPU on the Morello SoC.)