Today in Techrights

• Patent Maximalists Step Things Up With Director Andrei Iancu and It’s Time for Scientists to Fight Back
• Mythology About Patents in the East
• Patent Trolls Watch: Red River Innovations, Bradium Technologies/General Patent, and Wordlogic
• Holding Benoît Battistelli Accountable After the EPO
• Links 23/4/2018: Second RC of Linux 4.17 and First RC of Mesa 18.1

today's howtos

• Managing virtual environments with Vagrant

• ​How to upgrade to Ubuntu Linux 18.04

• How to install Mantis Bug Tracker on Ubuntu

• How to reset a root password on Fedora

• SystemTap’s BPF Backend Introduces Tracepoint Support

Open Hardware/RISC-V Latest

• Brains behind seL4 secure microkernel begin RISC-V chip port

  Last week, the first RISC-V port of its seL4 microkernel was released by the Data61 division of the Australian government's Commonwealth Scientific and Industrial Research Organisation (CSIRO). seL4 is an open-source and highly secure version of the L4 microkernel that aims to be mathematically proven to be bug free, in that it works as expected as per its specifications. Meanwhile, RISC-V is an open-source instruction-set architecture, and is used as the blueprint for various open-source processor core designs – some of which are now shipping as real usable silicon, such as chips from SiFive and Greenwaves.

• Dongwoon Anatech Licenses Codasip's Bk3 RISC-V Processor for Motor Control ICs for Mobile Camera

  Codasip, the leading supplier of RISC-V® embedded processor IP, announced today that Dongwoon Anatech, a technology leader in analog and power ICs for mobile phones, has selected Codasip’s Bk3 processor and Studio design tool for its next generation family of motor control IC products. Dongwoon Anatech, fabless analog semiconductor specialist, offers a wide range of analog products, including auto-focus driver IC for smartphones, AMOLED DC-DC converter, display power driver IC, and haptic driver IC.

Tux Machines is proud to be hosted by