CTU OTREES theses, more related to NuttX and RISC-V Was: book: RISC-V System-On-Chip Design. [resent]

Hello everybody, [resent from another account to pass onto NuttX devel list] I want to inform you about three successfully defended theses theses at https://fel.cvut.cz/ which I have supervised this year as well as bout two supervised by my colleague from https://fit.cvut.cz/ which I have mention

Re: Changes in "include/nuttx" do not propagate to libc

[Follow-up] I have been taking a deeper look, and at some point the whole "libc" **was not recompiling** on any header change - which looked and was a Makefile error. The fix was simple: Remove the double "$(DELIM)" from the dependencies, as it turns out the "Make.dep" file only has one delimiter.

Re: CTU OTREES theses, more related to NuttX and RISC-V Was: book: RISC-V System-On-Chip Design. [resent]

Thanks Pavel for the updates! Best wishes Roberto On 6/22/25 9:48 AM, Pavel Pisa wrote: Hello everybody, [resent from another account to pass onto NuttX devel list] I want to inform you about three successfully defended theses theses at https://fel.cvut.cz/ which I have supervised this yea