Pedro Henrique Penna

Results 40 comments of Pedro Henrique Penna

@BrianZill and @anandbonde this is related to https://github.com/demikernel/demikernel/issues/204, right?

> FYI, the Rust 1.64.0 release notes contain this little gem: > > > Rust 1.64.0 changes the memory layout of Ipv4Addr, Ipv6Addr, SocketAddrV4 and SocketAddrV6 to be more compact...

Hello @MarcoCicognani thanks for your interest in the project. This repository hosts the instructional version of Nanvix (ie: used for teaching) and it is meant to be as simple as...

@flametuner Thanks for the report. This problem is related to Bochs, You should quit the simulator properly, otherwise the file will be there. A workaround for this problem would be...

@flametuner Thnanks for the repport. Actually this is a well-known problem related to make (http://savannah.gnu.org/bugs/?712). A workaround would be to tweak our build scripts to escape special characters and spaces.

@BrianZill could you add to the description of this issue the permalink for the concerned code? Thanks!

@BrianZill please rename you commits to match the style: `[module-name] : ` This helps navigating the source tree history,

Super SHOULD NOT be used. Rationale: - If you are using super, it means that you are trying to re-use some component, which is AWESOME. - However, if you properly...