• Follow us on Twitter
  • Join our Facebook Group
  • Join me on Google Plus
  • RSS
Welcome to the blog of Jos Huisken close

Blog of Jos

  • Home
  • De Duif
    • Bouwplannen
  • p-blog
  • Research
    • FSM synthesis and reliability
    • SDRAM Controler MyHDL
    • DE1-SoC
      • Debugging DE1-SoC sdcard image
      • Bitfile programming
      • Building kernel/rootfs and sdcard creation
      • Yocto trial
      • U-boot
    • C5-SoC
    • DE0-Nano-SoC
    • GNU Radio and Realtek USB receiver (assigned)
    • Error injection framework
    • Reliability of flip flops

p-blog

Nvidia GTX-970 and cuda

0 Comments/ in Programming / by sjoske
August 20, 2016

Sorry, but you do not have permission to view this content.

Matlab accell

0 Comments/ in Programming / by sjoske
May 9, 2016

http://www.mathworks.nl/help/signal/examples/accelerating-correlation-with-gpus.html

SoC-FPGA status

0 Comments/ in Programming, VLSI / by sjoske
May 9, 2016
  • Now using kernel 4.1-ltsi
  • Creating a patched devicetree overlay in the quartus design flow using a private script, with the effect that fpga-based device appear properly in the running kernel’ device tree
  • Validated FFT hardware in FPGA, by using the jtag-uart, on both Cyclone V and IV devices, using matlab and python-numpy

Next steps

  • Burst transfers over AXI (i.e. not LW-AXI), pref. using DMA
  • Define improved streaming protocol and create kernel driver

Schaatsnacht 2014

0 Comments/ in Sport / by sjoske
December 27, 2014

Sorry, but you do not have permission to view this content.

joel: root partition too small

0 Comments/ in Thuis netwerk / by sjoske
December 7, 2014

Sorry, but you do not have permission to view this content.

Video conversion

0 Comments/ in Thuis netwerk / by sjoske
October 11, 2014

Interesting list of options to instruct ffmpeg to do the right thing.

Security and bash

0 Comments/ in Thuis netwerk / by sjoske
September 27, 2014

Changed default /bin/sh, which was bash, into ksh.

Other existing options are pdksh, zsh, ash.

Some cgi scripts are using bash directly, these services have been disabled.

Profile (dotfiles) management using git

0 Comments/ in Programming / by sjoske
April 16, 2014

Following the suggestion in this blog post and following the instructions in profile management my dot files are now under source code control with git.

The given instructions were not complete: i.e. following this command:

Shell
1
mkdir .config.git

you need to initialize/create the git repository:

Shell
1
2
3
4
5
cd .config.git
shopt -s dotglob
git init
mv .git/* .
rmdir .git

Posted on Apr 16, 2014

Copied Page:

Profile Management with Git and GitHub

The following describes a simple way to manage you profile configuration files using GitHub.

Features

  • Centralized configuration management
  • Files live in their native locations (no symbolic linking)
  • Home directory is not a Git repository
  • All the power of git with a simple alias

Setup Repository

  1. Log into GitHub and create a repository named config
  2. Add your public keys to GitHub (if you haven’t done so already)
  3. Open a terminal and switch to your home directory
    Shell
    1
    cd ~

  4. Create a configuration directory
    Shell
    1
    mkdir .config.git

  5. Add the following alias to your current session and your .bash_profile
    Shell
    1
    2
    alias config='git --git-dir=$HOME/.config.git/ --work-tree=$HOME'
    echo "alias config='git --git-dir=$HOME/.config.git/ --work-tree=$HOME'" >> .bash_profile

  6. Add your .bash_profile to the configuration repository
    Shell
    1
    config add .bash_profile

    Commit the changes
    Shell
    1
    config commit -m 'Initial commit'

  7. Change the origin to GitHub
    Shell
    1
    config remote add origin git@github.com:GITHUB_USERNAME/config.git

  8. Push the changes
    Shell
    1
    config push origin master

If you get an error when running config pull to the effect of You asked me to pull without... run the follow:

Shell
1
echo -e '[branch "master"]\n  remote = origin\n  merge = refs/heads/master' >> ~/.config.git/config

Setup Configuration Management on a Different System

  1. Add your public keys to GitHub (if you haven’t done so already)
  2. Switch to your home directory
    Shell
    1
    cd ~

  3. Backup your local configuration files, example:
    Shell
    1
    mv .bash_profile .bash_profile.bk

  4. Clone your configuration repository
    Shell
    1
    git clone git@github.com:GITHUB_USERNAME/config.git config.git

  5. Move the git metadata to ~/.config.git
    Shell
    1
    mv config.git/.git .config.git

  6. Enable dotglob
    Shell
    1
    shopt -s dotglob

  7. Move your configuration files to your home directory
    Shell
    1
    mv -i config.git/* .

  8. Delete the config.git directory
    Shell
    1
    rmdir config.git

  9. Logout and log back in

Basic Usage

  • config pull – get latest configuration changes
  • config add FILENAME – add a configuration file
  • config commit -a – save all configuration changes
  • config push – push configuration changes to GitHub
  • and any other config GIT_OPTION

You can see my configuration repository at http://github.com/silas/config.

Source: Manage your $HOME with git by Robert Escriva

Posted on Mar 08, 2009

Android appinventor at MIT

0 Comments/ in Programming / by sjoske
November 21, 2013

Quick small exercise: Android schaatsnacht app

I wonder what it can do…

See install instructions

De Duif

0 Comments/ in People / by sjoske
September 14, 2013

Zie ook:


View De Duif in a larger map

Page 1 of 212

Recent Posts

  • Nvidia GTX-970 and cuda
  • Matlab accell
  • SoC-FPGA status
  • Schaatsnacht 2014
  • joel: root partition too small

Recent Comments

    Archives

    • August 2016
    • May 2016
    • December 2014
    • October 2014
    • September 2014
    • April 2014
    • November 2013
    • September 2013
    • February 2013
    • January 2013
    • June 2012
    • May 2012
    • February 2011

    Categories

    • People
    • Programming
    • Sport
    • Thuis netwerk
    • VLSI

    Meta

    • Log in
    • Entries RSS
    • Comments RSS
    • WordPress.org

    Interesting links

    Besides are some interesting links for you! Enjoy your stay :)

    Pages

    • About me
    • Bitfile programming
    • Bouwplannen
    • Building kernel/rootfs and sdcard creation
    • C5-SoC
    • De Duif
    • DE0-Nano-SoC
    • DE1-SoC
    • Debugging DE1-SoC sdcard image
    • FSM synthesis and reliability
    • p-blog
    • SDRAM Controler MyHDL
    • U-boot
    • Yocto trial
    • Error injection framework
    • GNU Radio and Realtek USB receiver (assigned)
    • Reliability of flip flops
    • Research

    Categories

    • People
    • Programming
    • Sport
    • Thuis netwerk
    • VLSI

    Archive

    • August 2016
    • May 2016
    • December 2014
    • October 2014
    • September 2014
    • April 2014
    • November 2013
    • September 2013
    • February 2013
    • January 2013
    • June 2012
    • May 2012
    • February 2011
    © Copyright - Blog of Jos - Wordpress Theme by Kriesi.at