• Attempt to Setup KVM VM on RK3399/ARM64 - OS Image

    Setting up a KVM virtual machine on an ARM64 platform (RK3399). Guest and host are different flavours of Debian - Armbian stretch and Ubuntu 18.04. Guest kernel is a mainline stable LTS release, not a vendor kernel - as it is does not need the vendor hardware drivers. The aim...


  • VirtualBox on Windows, accessing Raw Disk Files (Linux rootfs partition and SD Card)

    How to access raw disk partitions from a Linux guest on VirtualBox Windows host. Root file system from a dual boot partiton, for Booting Linux within Virtual Box on windows. Accessing an SD Card as a raw image. Booting Linux This page captures a method that works: https://www.lifehacker.com.au/2013/05/how-to-dual-boot-and-virtualise-the-same-partition-on-your-computer/ A VirtualBox...


  • Compiling Linux for the RK3399 Firefly SBC

    As I’ve installed ubuntu 18.04 on the Firefly-RK3399, compiling the RK3399 kernel natively is the same process as cross-compiling the kernel. There is one issue, the custom tools have only been compiled for x86. However, the source is included in with the SoC Vendor Kernel, so it just needs to...


  • System C From the Ground Up

    When looking for a general SystemC book I narrowed down to two choices System C from the Ground Up, Second Editionand A SystemC Primer, Second Edition. I went with the first, SCFTGU. It’s a reasonable overview, in the beginner to intermediate range. Although it’s 230 pages, it does not get...


  • Linux SD Card Boot for RK3399 Firefly SBC

    The Firefly-RK3399 can boot from either onboard eMMC, or a TF-Card Slot (microSDHC). The microSDHC is the more flexible for my usage. I’m using a Kingston 128GB microSDHC card, this makes a good sized root filesystem for the Firefly-RK3399. However, it was not easy to find info on how to...