Re: USB on L4RE

2025-01-25 Thread Adam Lackorzynski 
Hi,

On Wed Jan 15, 2025 at 13:06:03 +0200, Flavio Erlich wrote:
> I found this thesis defence post.
> 
> https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/entwicklung-einer-initialen-usb-unterstuetzung-fuer-das-l4re-betriebssystem-framework
> 
> Does anyone know if or where the code is available? Is the thesis paper
> available?

This is being worked on. Generally, it is the decision of the student
whether, and if yes, how, his or her results are made available.



Thanks, Adam
___
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Re: USB on L4RE

2025-01-15 Thread Paul Boddie 
On Wednesday, 15 January 2025 12:06:03 CET Flavio Erlich wrote:
> I found this thesis defence post.
> 
> https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-> 
> professur/termine/echtzeit-ag/entwicklung-einer-initialen-usb-unterstuetzung
> -fuer-das-l4re-betriebssystem-framework
> 
> Does anyone know if or where the code is available? Is the thesis paper
> available?

That is a nice find. I cannot answer your question, sadly, but issuing a 
search for L4Re topics on the same site provides a list of related events:

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/
@@search?search-limited=searchbox_limited&b_start:int=24&SearchableText=L4Re

So, may I also ask whether the materials associated with such events are 
systematically published somewhere?

I did have some success in searching for other materials via the usual search 
engines. For example, "SPMM L4Re":

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/same-page-merging-increasing-memory-density-in-l4re

https://github.com/m00wl/l4re-spm

And "CPPBind L4Re":

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/a-compiler-based-idl-framework-for-l4re

https://github.com/Time0o/CPPBind

Unfortunately, searching for "USB L4Re" yields few specific, particularly 
informative, results.

Paul


___
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]

USB on L4RE

2025-01-15 Thread Flavio Erlich 
I found this thesis defence post.

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/entwicklung-einer-initialen-usb-unterstuetzung-fuer-das-l4re-betriebssystem-framework

Does anyone know if or where the code is available? Is the thesis paper
available?

Thanks,
Flavio
___
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]