August 20, 2016

May 9, 2016

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

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

December 27, 2014

December 7, 2014

October 11, 2014

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

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.

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:

you need to initialize/create the git repository:

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

   cd ~

   1

   cd ~

4. Create a configuration directory
   
   Shell

   mkdir .config.git

   1	mkdir .config.git

5. Add the following alias to your current session and your .bash_profile
   
   Shell

   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

   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

   config add .bash_profile

   1	config add .bash_profile

   
   Commit the changes
   
   Shell

   config commit -m 'Initial commit'

   1	config commit -m 'Initial commit'

7. Change the origin to GitHub
   
   Shell

   config remote add origin git@github.com:GITHUB_USERNAME/config.git

   1	config remote add origin git@github.com:GITHUB_USERNAME/config.git

8. Push the changes
   
   Shell

   config push origin master

   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:

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

   cd ~

   1

   cd ~

3. Backup your local configuration files, example:
   
   Shell

   mv .bash_profile .bash_profile.bk

   1	mv .bash_profile .bash_profile.bk

4. Clone your configuration repository
   
   Shell

   git clone git@github.com:GITHUB_USERNAME/config.git config.git

   1	git clone git@github.com:GITHUB_USERNAME/config.git config.git

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

   mv config.git/.git .config.git

   1	mv config.git/.git .config.git

6. Enable dotglob
   
   Shell

   shopt -s dotglob

   1	shopt -s dotglob

7. Move your configuration files to your home directory
   
   Shell

   mv -i config.git/* .

   1	mv -i config.git/* .

8. Delete the config.git directory
   
   Shell

   rmdir config.git

   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

November 21, 2013

Quick small exercise: Android schaatsnacht app

I wonder what it can do…

See install instructions

September 14, 2013

Zie ook:

View De Duif in a larger map