Skip to content

Instantly share code, notes, and snippets.

View master-q's full-sized avatar
🌴
On vacation

Kiwamu Okabe master-q

🌴
On vacation
View GitHub Profile
Function = chx_fatal
return type: void
uint32_t err_code
-> Error code
Description:
-> When it detects a coding error, this function will be called to
stop further execution of code. It never returns.
Function = chopstx_create
main.elf: file format elf32-avr
Sections:
Idx Name Size VMA LMA File off Algn
0 .data 000001c0 00800200 0000179c 00001830 2**0
CONTENTS, ALLOC, LOAD, DATA
1 .text 0000179c 00000000 00000000 00000094 2**1
CONTENTS, ALLOC, LOAD, READONLY, CODE
2 .bss 00000014 008003c0 008003c0 000019f0 2**0
@master-q
master-q / main.lst
Last active August 29, 2015 14:06
notuse_template
main.elf: file format elf32-avr
Sections:
Idx Name Size VMA LMA File off Algn
0 .data 000001c0 00800100 00000b8c 00000c20 2**0
CONTENTS, ALLOC, LOAD, DATA
1 .text 00000b8c 00000000 00000000 00000094 2**1
CONTENTS, ALLOC, LOAD, READONLY, CODE
2 .bss 00000010 008002c0 008002c0 00000de0 2**0
ALLOC
@master-q
master-q / linear_letval.dats
Last active August 29, 2015 14:05
夏のプログラミング・シンポジウム 2014 での質問
(* コンパイルNG: let valでも線形型が消費されてしまう *)
#include "share/atspre_staload.hats"
implement main0 () = {
val l1 = list_vt_make_pair<int> (1, 2)
val l2 = l1
val () = let val l3 = l2 in println! l3 end
val () = free l2
}
(*
@master-q
master-q / HardwareSerial.cpp
Created June 5, 2014 13:40
avr-gcc -E -mmcu=atmega2560 -DF_CPU=16000000UL -std=c99 -D_XOPEN_SOURCE -I/usr/share/arduino/hardware/arduino/cores/arduino -I/usr/share/arduino/hardware/arduino/variants/mega /usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp
# 1 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp"
# 1 "<command-line>"
# 1 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp"
# 26 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp"
# 1 "/usr/lib/avr/include/stdlib.h" 1 3
# 47 "/usr/lib/avr/include/stdlib.h" 3
# 1 "/usr/lib/gcc/avr/4.8.1/include/stddef.h" 1 3 4
# 212 "/usr/lib/gcc/avr/4.8.1/include/stddef.h" 3 4
typedef unsigned int size_t;
# 48 "/usr/lib/avr/include/stdlib.h" 2 3
### Keybase proof
I hereby claim:
* I am master-q on github.
* I am masterq (https://keybase.io/masterq) on keybase.
* I have a public key whose fingerprint is DF60 3D3A 3C15 1B2C DF19 52F4 18DD 4D72 F2CB CA06
To claim this, I am signing this object:
@master-q
master-q / アンケート
Created May 8, 2014 06:17
アンケートみたい
Sorry to disturb your time. Please help me to fill in this questinonnaire. This questionnaire to help my final assignment. This questionnaire is for Japanese.
日本人、もしくは日本在住の方々にお願いです。 卒業論文の書いている学生のアンケートにご協力をおねがいいたします。
こちらは未婚女性用です。 Questionnaire just for female (unmarried yet): https://docs.google.com/forms/d/115Y3BbEO0qrzFEXTBP6FZEFEZ89IXMWmKVHwXLMtfmQ/viewform?usp=send_form
こちらは未婚男性用です。 Questionnaire just for male (unmarried yet): https://docs.google.com/forms/d/1HFMKH526Ry5uUvksoKIQ4U_02L74c_kDK1U4oqehILY/viewform?usp=send_form
何卒ご協力願います。 thankyou for your time... hontou ni arigatou gozaimashita
@master-q
master-q / log.txt
Last active August 29, 2015 13:56
void main
casper$ cat main.c
#include <stdio.h>
void main()
{
printf("hoge\n");
}
casper$ gcc -g main.c
casper$ objdump -S a.out|lv
@master-q
master-q / hsmain.c
Created February 20, 2014 08:42
A sample NetBSD kernel driver C code compiled by Ajhc Haskell compiler
char jhc_c_compile[] = "gcc metasepi/sys/hsbuild/rts/profile.c metasepi/sys/hsbuild/rts/rts_support.c metasepi/sys/hsbuild/rts/gc_none.c metasepi/sys/hsbuild/rts/jhc_rts.c metasepi/sys/hsbuild/lib/lib_cbits.c metasepi/sys/hsbuild/rts/gc_jgc.c metasepi/sys/hsbuild/rts/stableptr.c metasepi/sys/hsbuild/rts/conc.c -Imetasepi/sys/hsbuild/cbits -Imetasepi/sys/hsbuild metasepi/sys/hsbuild/hsmain.c -o metasepi/sys/hsbuild/hsmain.c '-std=gnu99' -D_GNU_SOURCE '-falign-functions=4' -ffast-math -Wextra -Wall -Wno-unused-parameter -fno-strict-aliasing -Wno-unused-variable -DNDEBUG -O3 '-D_JHC_GC=_JHC_GC_JGC' '-D_JHC_CONC=_JHC_CONC_CUSTOM'";
char jhc_command[] = "ajhc -fffi -fcustomthread --include=metasepi/sys/hssrc --tdir=metasepi/sys/hsbuild -C -o metasepi/sys/hsbuild/hsmain.c metasepi/sys/hssrc/Main.hs";
char jhc_version[] = "ajhc 0.8.0.11 (e601dfc26abce79686e41c2609ed5beb7fd7f4d5)";
#include "jhc_rts_header.h"
struct s_caches_pub {
struct s_cache *cFDev_AudioIf_p__StreamFilterList__req__size$d2;
struct s_cach