TheOtherAdam adamsteen
This file contains hidden or 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
| #!/bin/sh -e | |
| # required packages | |
| doas pkg_add ocaml opam | |
| # setup opam and mirage | |
| opam init | |
| eval $(opam env) | |
| # pins to fix for OpenBSD Current (mincore fixes and noretpoline) |
This file contains hidden or 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
| #!/bin/sh -e | |
| ### Currently working, with Solo5 0.4, 2018-09-25 03:13:00 2018 UTC | |
| # Please ensure doas is setup for the current user | |
| # tweak the environment, so things can be a little cleaner | |
| PREFIX=$HOME/.local | |
| if [ ! -d "$PREFIX" ]; then | |
| mkdir $PREFIX |
This file contains hidden or 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 7.1-current (GENERIC.MP) #1691: Thu Jun 2 22:39:39 MDT 2022 | |
| [email protected]:/usr/src/sys/arch/arm64/compile/GENERIC.MP | |
| real mem = 67739533312 (64601MB) | |
| avail mem = 65531764736 (62495MB) | |
| random: good seed from bootblocks | |
| mainbus0 at root: Apple MacBook Pro (14-inch, M1 Max, 2021) | |
| cpu0 at mainbus0 mpidr 0: Apple Icestorm Max r2p0 | |
| cpu0: 128KB 64b/line 8-way L1 VIPT I-cache, 64KB 64b/line 8-way L1 D-cache | |
| cpu0: 4096KB 128b/line 16-way L2 cache | |
| cpu0: TLBIOS+IRANGE,TS+AXFLAG,FHM,DP,SHA3,RDM,Atomic,CRC32,SHA2+SHA512,SHA1,AES+PMULL,SPECRES,SB,FRINTTS,GPI,LRCPC+LDAPUR,FCMA,JSCVT,API+PAC,DPB,SpecSEI,PAN+ATS1E1,LO,HPDS,CSV3,CSV2 |