Kotlin

Reference material

Tools

Created on 27-Sep-2019 - Updated on 26-Apr-2020 - 3995 views

Checking IPv6 connectivity

Following commands are for a machine running Linux (more precisely: Linux Mint, derived from Ubuntu).

Getting IPv6 address

Use the ifconfig command. Take the inet6 address with global scope.

To check that this address can be reached from the Internet: https://www.ipaddressguide.com/ping6.

Checking outgoing connectivity

# Ping Google DNS.
ping6 -c 4 2001:4860:4860::8888

Created on 17-Sep-2019 - Updated on 17-Sep-2019 - 3149 views

STM32CubeIDE - replace spaces by tabs

I wanted to configure STM32CubeIDE so that it replaces tab character by spaces, when editing source code. Easy, once one knows where to look smiley:

  • select Window > Preferences
  • select C/C++ > Code Style > Formatter
  • create a new profile, based on the profile you prefer
  • in the Indentation tab, select Spaces only for Tab policy

Created on 07-Aug-2019 - Updated on 07-Aug-2019 - 4151 views

My macOS configuration

Apple

23-Dec-2019 - gcc

xcode-select --install
brew install gcc

18-Oct-2019 - minicom

brew install minicom

27-Sep-2019 - telnet

Installation of telnet:

Created on 02-Jun-2019 - Updated on 23-Dec-2019 - 3331 views

Pysense: hardware setup in a virtual machine

PysenseI had to help someone starting a project which includes, among others, a Pysense board.

The development environment is Linux Mint 18.3, running in a VirtualBox virtual machine (VirtualBox version 5.2.26). The host system is a MacBook Pro running macOS Mojave.

One difficulty that the user may face with this environment relates to the USB device redirection. When the Pysense is switched to bootloader mode, for firmware upgrade, it stays in this mode less than 7 seconds, which is not long enough to configure VirtualBox.

In the following article, I describe a procedure that allows to get round this problem, and to perform the firmware upgrade.

Created on 22-Apr-2019 - Updated on 22-Apr-2019 - 3655 views

Pages

Subscribe to Front page feed