2020年4月30日 星期四

2019年8月10日 星期六

[VirtualBox] Install virtualbox driver

Install Linux Header

Install linux header
pacman -S linux-headers

check linux version
uname -a
Linux archlinux 5.2.4-arch1-1-ARCH #1 SMP PREEMPT Sun Jul 28 10:52:46 UTC 2019 x86_64 GNU/Linux

Download VirtualBox-6.0.10-132072-Linux_amd64.run from “All distributions 64-bit”:https://www.virtualbox.org/wiki/Linux_Downloads

Download linux header
Download linux-headers-4.13.9-1-x86_64.pkg.tar.xz

Decompress the package
mkdir /tmp/mozilla/linux-headers
tar xvf linux-headers-5.2.4.arch1-1-x86_64.pkg.tar.xz -C /tmp/mozilla/linux-headers
sudo cp /tmp/mozilla/linux-headers/usr/usr/src/linux-5.2.4.arch1/* /lib/modules/5.2.4-arch1-1-ARCH/build -rf

Install VirtualBox

make a folder was named test
mkdir /tmp/test

Extract file to the folder of test
sh ./VirtualBox-6.0.10-132072-Linux_amd64.run --target /tmp/test/

jump into /tmp/test
cd /tmp/test

Install Virtualbox
sudo ./install.sh

make a folder was named src
mkdir /tmp/test/src

extract VirtualBox.tar.bz2 into src
tar xvf VirtualBox.tar.bz2 -C src/

jump into /tmp/test/src/src/vboxhost and compile source code
cd /tmp/test/src/src/vboxhost/

editor build_in_tmp, remove rm command like below

execute script to compile vbox kernel
./build_in_tmp

copy all kernal which under /tmp/vbox.0 (0 will depend on, sometimes is 1 or 2) to any folder which you want.
cp /tmp/vbox.2/vbox*.ko to somewhere

#!/bin/sh
# $Id: build_in_tmp 118839 2017-10-28 15:14:05Z bird $
## @file
# Script to build a kernel module in /tmp.
#
# Useful if the module sources are installed in read-only directory.
#

#
# Copyright (C) 2007-2017 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#
# The contents of this file may alternatively be used under the terms
# of the Common Development and Distribution License Version 1.0
# (CDDL) only, as it comes in the "COPYING.CDDL" file of the
# VirtualBox OSE distribution, in which case the provisions of the
# CDDL are applicable instead of those of the GPL.
#
# You may elect to license modified versions of this file under the
# terms and conditions of either the GPL or the CDDL or both.
#

# find a unique temp directory
num=0
while true; do
  tmpdir="/tmp/vbox.$num"
  if mkdir -m 0755 "$tmpdir" 2> /dev/null; then
    break
  fi
  num=`expr $num + 1`
  if  [ $num -gt 200 ]; then
    echo "Could not find a valid tmp directory"
    exit 1
  fi
done

# Guest optimal number of make jobs.
MAKE_JOBS=`grep vendor_id /proc/cpuinfo | wc -l`
if [ "${MAKE_JOBS}" -le "0" ]; then MAKE_JOBS=1; fi

# Parse our arguments, anything we don't grok is for make.
while true; do
    if [ "$1" = "--save-module-symvers" ]; then
      shift
      SAVE_MOD_SYMVERS="$1"
      shift
    elif [ "$1" = "--use-module-symvers" ]; then
      shift
      USE_MOD_SYMVERS="$1"
      shift
    elif [ "$1" = "--module-source" ]; then
      shift
      MODULE_SOURCE="$1"
      shift
    else
      break
    fi
done

# copy
if [ -n "$MODULE_SOURCE" ]; then
  cp -a "$MODULE_SOURCE"/* $tmpdir/
else
  cp -a ${0%/*}/* $tmpdir/
fi
if [ -n "$USE_MOD_SYMVERS" ]; then
  cp $USE_MOD_SYMVERS $tmpdir/Module.symvers
fi

# make, cleanup if success
cd "$tmpdir"
if make "-j`echo ${MAKE_JOBS}`" "$@"; then  # strip leading space from "MAKE_JOBS"
  if [ -n "$SAVE_MOD_SYMVERS" ]; then
    if [ -f Module.symvers ]; then
      cp -f Module.symvers $SAVE_MOD_SYMVERS
    else
      cat /dev/null > $SAVE_MOD_SYMVERS
    fi
  fi
  #rm -rf $tmpdir   # Remove rm
  exit 0
fi

# failure
#rm -rf $tmpdir  # Remove rm
exit 1

Q: insmod: ERROR: could not insert module ./vboxdrv.ko: Invalid module format
A: dmesg

[ 2594.143481] vboxdrv: version magic '5.2.7-arch1-1-ARCH SMP preempt mod_unload ’ should be '5.2.4-arch1-1-ARCH SMP preempt mod_unload ’

Ref:

"[Virtualbox kernel module][Archlinux] How to compile virtualbox kernle module ":http://fkcsmart.blogspot.com/2017/11/virtualbox-kernel-modulearchlinux-how.html

2018年9月19日 星期三

2018年8月23日 星期四

2018年8月8日 星期三

[FSM] The sample code of two dimension FSM


#include <stdio.h>
//Different state of ATM machine
typedef enum {
    Idle_State,
    Card_Inserted_State,
    Pin_Eentered_State,
    Option_Selected_State,
    Amount_Entered_State,
    last_State
} eSystemState;

//Different type events
typedef enum {
    Card_Insert_Event,
    Pin_Enter_Event,
    Option_Selection_Event,
    Amount_Enter_Event,
    Amount_Dispatch_Event,
    last_Event
} eSystemEvent;

//typedef of 2d array
typedef eSystemState (*const afEventHandler[last_State][last_Event])(void);

//typedef of function pointer
typedef eSystemState (*pfEventHandler)(void);

//function call to dispatch the amount and return the ideal state
eSystemState AmountDispatchHandler(void)
{
    return Idle_State;
}

//function call to Enter amount and return amount enetered state
eSystemState EnterAmountHandler(void)
{
    return Amount_Entered_State;
}

//function call to option select and return the option selected state
eSystemState OptionSelectionHandler(void)
{
    return Option_Selected_State;
}

//function call to enter the pin and return pin entered state
eSystemState EnterPinHandler(void)
{
    return Pin_Eentered_State;
}

//function call to processing track data and return card inserted state
eSystemState InsertCardHandler(void)
{
    return Card_Inserted_State;
}

eSystemEvent ReadEvent()
{

}

int main(int argc, char *argv[])
{
    eSystemState eNextState = Idle_State;
    eSystemEvent eNewEvent;
// Table to define valid states and event of finite state machine
    static afEventHandler StateMachine = {
  /* Idle_State: 0 */              [Idle_State]            =       {[Card_Insert_Event]= InsertCardHandler,NULL,NULL,NULL,NULL},
  /* Card_Inserted_State 1*/       [Card_Inserted_State]   =       {NULL,[Pin_Enter_Event] = EnterPinHandler,NULL,NULL,NULL },
  /* Pin_Eentered_State 2 */       [Pin_Eentered_State]    =       {NULL,NULL,[Option_Selection_Event] = OptionSelectionHandler,NULL,NULL},
  /* Option_Selected_State: 3 */   [Option_Selected_State] =       {NULL,NULL,NULL,[Amount_Enter_Event] = EnterAmountHandler,NULL},
  /* Amount_Entered_State 4 */     [Amount_Entered_State]  =       {NULL,NULL,NULL,NULL,[Amount_Dispatch_Event] = AmountDispatchHandler},
    };
    while(1) {
// assume api to read the next event
        eSystemEvent eNewEvent = ReadEvent();
        if( ( eNextState < last_State) && (eNewEvent < last_Event) && StateMachine[eNextState][eNewEvent]!= NULL) { //Check NULL pointer and array boundary
// function call as per the state and event and return the next state of the finite state machine
            eNextState = (*StateMachine[eNextState][eNewEvent])();
        } else {
//Invalid
        }
    }
    return 0;
}

Method 2
#include <stdio.h>
//Different state of ATM machine
typedef enum {
    Idle_State,
    Card_Inserted_State,
    Pin_Eentered_State,
    Option_Selected_State,
    Amount_Entered_State,
    last_State
} eSystemState;

//Different type events
typedef enum {
    Card_Insert_Event,
    Pin_Enter_Event,
    Option_Selection_Event,
    Amount_Enter_Event,
    Amount_Dispatch_Event,
    last_Event
} eSystemEvent;

//typedef of 2d array
typedef eSystemState (*const afEventHandler[last_State][last_Event])(void);

//typedef of function pointer
typedef eSystemState (*pfEventHandler)(void);

//function call to dispatch the amount and return the ideal state
eSystemState AmountDispatchHandler(void)
{
    return Idle_State;
}

//function call to Enter amount and return amount enetered state
eSystemState EnterAmountHandler(void)
{
    return Amount_Entered_State;
}

//function call to option select and return the option selected state
eSystemState OptionSelectionHandler(void)
{
    return Option_Selected_State;
}

//function call to enter the pin and return pin entered state
eSystemState EnterPinHandler(void)
{
    return Pin_Eentered_State;
}

//function call to processing track data and return card inserted state
eSystemState InsertCardHandler(void)
{
    return Card_Inserted_State;
}

eSystemEvent ReadEvent()
{
    /* [Hardware detection] User insert the card
     * if (Card Insert == True)
     *      return Card_Insert_Event;
     * 
     * [Hardware detection] User start to press button
     * else if (User press button == True)
     *      return Pin_Enter_Event;
     * */
}

// Table to define valid states and event of finite state machine
const static afEventHandler StateMachine = {
/* Idle_State: 0 */              {/*Card_Insert_Event*/ InsertCardHandler, /*Pin_Enter_Event*/ NULL,             /*Option_Selection_Event*/ NULL,                  /*Amount_Enter_Event*/ NULL,              /*Amount_Dispatch_Event*/ NULL},
/* Card_Inserted_State 1*/       {/*Card_Insert_Event*/ NULL,              /*Pin_Enter_Event*/ EnterPinHandler,  /*Option_Selection_Event*/ NULL,                  /*Amount_Enter_Event*/ NULL,              /*Amount_Dispatch_Event*/ NULL},
/* Pin_Eentered_State 2 */       {/*Card_Insert_Event*/ NULL,              /*Pin_Enter_Event*/ NULL,             /*Option_Selection_Event*/ OptionSelectionHandler,/*Amount_Enter_Event*/ NULL,              /*Amount_Dispatch_Event*/ NULL},
/* Option_Selected_State: 3 */   {/*Card_Insert_Event*/ NULL,              /*Pin_Enter_Event*/ NULL,             /*Option_Selection_Event*/ NULL,                  /*Amount_Enter_Event*/ EnterAmountHandler,/*Amount_Dispatch_Event*/ NULL},
/* Amount_Entered_State 4 */     {/*Card_Insert_Event*/ NULL,              /*Pin_Enter_Event*/ NULL,             /*Option_Selection_Event*/ NULL,                  /*Amount_Enter_Event*/ NULL,              /*Amount_Dispatch_Event*/ AmountDispatchHandler},
};

int main(int argc, char *argv[])
{
    eSystemState eNextState = Idle_State;
    eSystemEvent eNewEvent;

    while(1) {
// assume api to read the next event
        eSystemEvent eNewEvent = ReadEvent();
        if( ( eNextState < last_State) && (eNewEvent < last_Event) && StateMachine[eNextState][eNewEvent]!= NULL) { //Check NULL pointer and array boundary
// function call as per the state and event and return the next state of the finite state machine
            eNextState = (*StateMachine[eNextState][eNewEvent])();
        } else {
//Invalid
        }
    }
        
    return 0;
}

2018年7月27日 星期五