Hi,
On Wed, Dec 09, 2015 at 11:58:25PM +0100, Alan Martinovic wrote:
> And an off topic question:
> Is the "How to become a PTXdist Guru - Pengutronix" available for public
> contribution, and if so, how?
You have incredible timing :-). We decided some time a go, that the way we
handled the
Hi Guillermo,
On Wednesday 27 August 2014 10:01:27 Guillermo Rodriguez Garcia wrote:
Are the sources / makefiles of the ptxdist manual available?
No.
I see that some BSPs (e.g. mini2440) have a
documentation/plain_sources directory, but this does not include all
the source files.
Correct.
On Fri, Aug 29, 2014 at 11:37:07AM +0200, Guillermo Rodriguez Garcia wrote:
Hi Juergen,
2014-08-29 10:21 GMT+02:00 Juergen Borleis j...@pengutronix.de:
Hi Guillermo,
On Wednesday 27 August 2014 10:01:27 Guillermo Rodriguez Garcia wrote:
Are the sources / makefiles of the ptxdist manual
2014-08-29 12:50 GMT+02:00 Alexander Aring alex.ar...@gmail.com:
On Fri, Aug 29, 2014 at 11:37:07AM +0200, Guillermo Rodriguez Garcia wrote:
Hi Juergen,
2014-08-29 10:21 GMT+02:00 Juergen Borleis j...@pengutronix.de:
Hi Guillermo,
On Wednesday 27 August 2014 10:01:27 Guillermo Rodriguez
Hi Alexander,
2014-08-29 13:11 GMT+02:00 Alexander Aring alex.ar...@gmail.com:
My university laboratory of distributed systems have some templates for
exams. [0] (page is in german)
[...]
Thank you :)
Guillermo
--
ptxdist mailing list
ptxdist@pengutronix.de
Hello all,
Are the sources / makefiles of the ptxdist manual available?
I see that some BSPs (e.g. mini2440) have a
documentation/plain_sources directory, but this does not include all
the source files.
Thank you,
Guillermo Rodriguez Garcia
guille.rodrig...@gmail.com
--
ptxdist mailing list