[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] beginner contributing to mirage



On 16 January 2016 at 21:19, Vasilis Goumas <bgoumas@xxxxxxxxx> wrote:
> Hello Thomas,
>
> After your helpful reply in my previous mail, I took the initiative to pm
> you.
> Also I wasn't sure If the mail was suitable for the list so forward if
> necessary.

Yes, please keep all discussion on the list.

>> By the way, I'm not sure these star ratings are very accurate. This is
>> a 1-star project, but it looks quite hard to me! Are you familiar with
>> the Git protocol? If not, learning that and OCaml at the same time
>> might be tricky.
>
>
> I am not familiar with the git protocol internals, so I guess that one might
> not be
> the best beginner project.
>
>> If anyone wants some really easy (but useful!) getting started tasks,
>> I've added a pioneer project to find libraries using printf and update
>> them to use Logs:
>> https://github.com/mirage/mirage-www/wiki/Pioneer-Projects#logging
>
>
> The task you mentioned seems interesting and I would like to start working
> on it.
> Any tips for the development workflow or must-study stuff, to get acquainted
> with
> the project?

You could start by cloning the mirage-skeleton repository and making a
new example based on "console" that uses logging rather than printing.

For modifying libraries, you'll need to know how to "opam pin" a
modified package for testing. There's some useful information here:

https://www.somerandomidiot.com/blog/2015/11/26/quick-changes-in-mirageos/

(however, I find it easier to look in the Makefile to find the
dependencies, rather than reading the source of the mirage tool, and
make sure you do "opam pin -k git" to pin in "mixed mode", or you'll
have endless trouble with stale OASIS files)


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.