master-q
/ 00_infer_terminal.sh
Last active
July 19, 2023 05:12
Infer for Linux kernel with some patches
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ mkdir ~/src | |
| $ cd ~/src | |
| $ git clone git@github.com:facebook/infer.git | |
| $ cd infer | |
| $ patch -p1 < ~/Downloads/01_infer.patch | |
| $ ./build-infer.sh clang | |
| $ export PATH=~/src/infer/infer/bin:$PATH | |
| $ cd ~/src | |
| $ git clone git@github.com:torvalds/linux.git | |
| $ cd linux |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| = NuttXお試しメモ | |
| [2021-09-18 19:11] | |
| <<<NuttX | |
| <<<RTOS | |
| == シミュレータ | |
| https://nuttx.apache.org/docs/latest/quickstart/install.html | |
| https://nuttx.apache.org/docs/latest/guides/simulator.html |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function do_network_auto_reconnect { | |
| while true; do | |
| ping -c1 google.com > /dev/null | |
| if [ "$?" != "0" ]; then | |
| sudo /etc/init.d/network-manager restart | |
| sleep 30; | |
| fi | |
| sleep 1; | |
| done | |
| } |
master-q
/ gist:192d516ea670b5b6ec6d8635b0b30953
Created
November 20, 2019 05:50
Why we can't change size of malloc heap for PSoC 6?
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ vi libs/TARGET_CY8CPROTO-062-4343W/startup/TOOLCHAIN_GCC_ARM/startup_psoc6_02_cm4.S | |
| --snip-- | |
| __StackTop: | |
| .size __StackTop, . - __StackTop | |
| .section .heap | |
| .align 3 | |
| .equ Heap_Size, 0x00000100 | |
| .globl __HeapBase | |
| .globl __HeapLimit |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function do_aws_s3_private_backup { | |
| du -sh $HOME/Sounds $HOME/Family | |
| aws s3 sync --delete $HOME/Sounds s3://masterq-private/Sounds | |
| aws s3 sync $HOME/Family s3://masterq-private/Family | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ grep -A 2 "\#include" `find . -name "*.hats"` | |
| ./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats:local #include"./DATS/jsonats.dats" in end | |
| ./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats-// | |
| ./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats-(* ****** ****** *) | |
| -- | |
| ./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats:#include | |
| ./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats-"$PATSHOMELOCS\ | |
| ./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats-/atscntrb-hx-threadkit/mylibies.hats" | |
| -- | |
| ./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats:#include "./DATS/filetype.dats" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ gcc -g -I /home/kiwamu/src/ATS-Postiats/ccomp/runtime/ -I /home/kiwamu/src/ATS-Postiats/ main_dats.c | |
| $ gdb a.out | |
| (gdb) b main.dats:atspre_g0int_add_int | |
| Breakpoint 1 at 0x120a: file /home/kiwamu/src/ATS-Postiats/prelude/CATS/integer.cats, line 157. | |
| (gdb) run | |
| Starting program: /home/kiwamu/src/idiomaticca/regress/noinc/arithmetic_op/a.out | |
| Breakpoint 1, atspre_g0int_add_int (x1=1, x2=2) at /home/kiwamu/src/ATS-Postiats/prelude/CATS/integer.cats:157 | |
| 157 (atstype_int x1, atstype_int x2) { return (x1 + x2) ; } | |
| (gdb) bt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| = ValaはどうやってDWARFを吐くのか | |
| [2019-05-27 16:20] | |
| <<<Vala | |
| <<<DWARF | |
| == 参考 | |
| "Projects/Genie/Developing - GNOME Wiki!" https://wiki.gnome.org/Projects/Genie/Developing | |
| "Valaのデバッグ[メモ] | TIPS" http://1204lts.blogspot.com/2014/01/vala.html |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* $OpenBSD: cat.c,v 1.26 2016/10/19 18:20:25 schwarze Exp $ */ | |
| /* $NetBSD: cat.c,v 1.11 1995/09/07 06:12:54 jtc Exp $ */ | |
| /* | |
| * Copyright (c) 1989, 1993 | |
| * The Regents of the University of California. All rights reserved. | |
| * | |
| * This code is derived from software contributed to Berkeley by | |
| * Kevin Fall. | |
| * |
NewerOlder