jayp1418

Nope. But following GPL open source license guidelines and releasing your changed codes. And not using signal name and their copyright materials.

More is being discussed here at mailing list thread https://mail-index.netbsd.org/tech-userlevel/2020/05/02/msg0...

Link to GitHub : https://github.com/stcarrez/ada-awa

Congratulations team :)

Nice work done :) systemD still working on entropy system while NetBSD has it since ages

Something like this

https://puri.sm/products/librem-key/

I still find ada language more advanced than current ones

Okay.. check Fujitsu Lifebook series of laptops.

NetBSD -> http://netbsd.org/~kamil/AsiaBSDCon/Kamil_Rytarowski_Enginee...

Abstract Multics first appeared in 1965, UNIX First Edition in 1969, 1BSD in 1977 and NetBSD 0.8 in 1993, followed by NetBSD 1.0 in 1994. The more modern versions: NetBSD 5.0 was released in 2009, 6.0 in 2012, 7.0 in 2015 and 8.0 in 2018. 8.0 was officially announced on July 16th, 2018. The NetBSD-8 branch was being developed as NetBSD- current between June 4th , 2017 and July 21st , 2019. Net- BSD-9 was branched on 30th July and 708 pull requests (884 commits) were processed in the branch until the final release on February 14th 2020. The development period lasting 1.5 years brought a rich set of features to the distri- bution. These include: support for new hardware devices, massive improvements for the ARM 32-bit and AArch64 architecture, stub of RISC-V support, new hardware-as- sisted virtualization options, improved Wine support, ker- nel and userland sanitizers and fuzzers, security hardening and CPU bug mitigations, graphics stack upgrade, ZFS upgrade, debugging interfaces refinement, packet filter policy, 3rd party software upgrades, many bug fixes, generic enhancements and removals of obsolete code.

Here are some for NetBSD :

https://wiki.netbsd.org/releng/netbsd9/

Also email to current-users@netbsd.org for more information on bounties from NetBSD foundation.

Buy hardware vendors which supports open source hardware development.. for eg. Purism, system76 ..

For me this pranayama works :

https://libre.video/videos/watch/c4b30e57-0c23-47fa-aae2-8c5...

And several studies done on this pranayama

http://www.aolresearch.org/published_research.html

And some link to tutorials https://learn.adacore.com/

Sorry i didn't see notification of your reply. Here is tool chain from ada they have IDE also if you want

https://www.adacore.com/community

Have you given ada language a thought ? Also there are lot of competition your students can take part in https://www.makewithada.org/

WhatsApp uses Signal's encryption but it's hard to verify how much they changed. While signal provides a way to check that using cross-compiling reproducible build even for server code you can verify.

Maybe rump kernels might be future :

https://research.csiro.au/tsblog/using-rump-kernels-to-run-u...

Why not Ada language?