search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

lang/micropython: updated with Glasgow MicroPython Morello port #152

Open jeremysinger opened 3 months ago

jeremysinger commented 3 months ago

MicroPython builds for purecap CheriBSD

jeremysinger commented 3 months ago

hi @kwitaszczyk Duncan suggested that you might prefer us to name this package micropython-cheri since it is a specific fork of the original micropython which runs ok in hybrid mode. Our code has not been upstreamed to the official micropython repo.

kwitaszczyk commented 3 months ago

@jeremysinger Yes, we briefly discussed this yesterday. You can either duplicate code under a -cheri port but it would be preferable to create a port that reuses the upstream port with some modifications. You can have a look at devel/gdb and devel/gdb-cheri (https://github.com/CTSRD-CHERI/cheribsd-ports/pull/130) for suggestions how to do that. However, it might turn out that the upstream and -cheri ports differ significantly and then it wouldn't make sense to reuse the upstream port.

jeremysinger commented 3 months ago

hi @kwitaszczyk yes we will change the name to micropython-cheri. I had a chat with @djlowther and we reluctantly decided that we can't keep constant track of upstream micropython due to its frequent commits and possible divergence.

jeremysinger commented 2 months ago

hi @kwitaszczyk we changed the package name to micropython-morello since our MicroPython fork hasn't been tested on RISC-V at all.

jeremysinger commented 2 months ago

hi @kwitaszczyk thanks for your advice today at CHERITech 24 workshop. I have tidied up the pull request - removing unnecessary history. Hope this is ok now.

kwitaszczyk commented 3 weeks ago

@jeremysinger I remember we discussed simplifying this port not to duplicate logic already existing in lang/micropython. Is that something you want to do, or would you prefer to land this as is at the moment?