zxombie

6 ms·

1. 1.▲
   Azure Virtual Machines with Ampere Arm–based processors generally available(azure.microsoft.com)

   2 points by zxombie 4y ago|0 comments
2. 2.▲
   Arm releases experimental CHERI-enabled Morello board(lightbluetouchpaper.org)

   168 points by zxombie 5y ago|82 comments
3. 3.▲
   FreeBSD/arm64 becoming Tier 1 in FreeBSD 13(lists.freebsd.org)

   10 points by zxombie 5y ago|1 comments
4. 4.▲
   SRI and Cambridge release CHERI software stack for Arm Morello(lightbluetouchpaper.org)

   5 points by zxombie 6y ago|0 comments
5. 5.▲
   Security analysis of CHERI ISA [pdf](github.com)

   4 points by zxombie 6y ago|0 comments
6. 6.▲
   by zxombie 6y ago

   That is correct. We have FPGAs, qemu, and formal models (that can boot an OS) of CHERI-RISC-V and CHERI-MIPS. Most software development uses qemu as it is faster than the FPGAs at around 100MHz. Having something in the GHz range will give u
7. 7.▲
   by zxombie 6y ago

   We (University of Cambridge) have added it to MIPS and RISC-V. As the same team did both of these they feel similar. Arm is working closely with us to add it to their architecture, but it has a few differences, mostly to allow for experimen
8. 8.▲
   by zxombie 6y ago

   There will be a simulator later this year. I expect CheriBSD on Morello will released at the same time with a feature set compariable with MIPS and RISC-V.
9. 9.▲
   The Arm Morello Board (2019)(cl.cam.ac.uk)

   21 points by zxombie 6y ago|8 comments
10. 10.▲
    by zxombie 6y ago

    They are only partially correct about FreeBSD. In FreeBSD 12 there is no coverage sanitizer as it was added to 13 and never merged to 12. Support for KASAN, and the other sanitizers is in development, however I'm currently too busy wor
11. 11.▲
    The Arm Morello Board(cl.cam.ac.uk)

    1 points by zxombie 7y ago|0 comments
12. 12.▲
    Arm to Deliver Cheri-Based Prototype to Tackle Security Threats(eetimes.com)

    1 points by zxombie 7y ago|0 comments
13. 13.▲
    UKRI Digital Security by Design: An Experimental ARMv8-A CPU with Cheri Support(lightbluetouchpaper.org)

    1 points by zxombie 7y ago|0 comments
14. 14.▲
    A Safer Digital Future, by Design(arm.com)

    3 points by zxombie 7y ago|0 comments
15. 15.▲
    Cheri Instruction-Set Architecture (Version 7) [pdf](cl.cam.ac.uk)

    2 points by zxombie 7y ago|0 comments
16. 16.▲
    Thunderclap: Modern computers are vulnerable to malicious peripheral devices(thunderclap.io)

    2 points by zxombie 8y ago|0 comments
17. 17.▲
    by zxombie 8y ago

    There were some security issues in systrace. / http://www.watson.org/~robert/2007woot/
18. 18.▲
    CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege [pdf](cl.cam.ac.uk)

    3 points by zxombie 8y ago|0 comments
19. 19.▲
    by zxombie 8y ago

    There is a RISC-V section as we (I work on CHERI) are interested in making sure it's a portable model. There's no point creating this if we can only ever use it on MIPS.
20. 20.▲
    by zxombie 8y ago

    You don't need the FPGA board. I work on CHERI and have only ever used qemu. The FPGA is mostly useful for benchmarks to compare with MIPS.
21. 21.▲
    CHERI: Notes on the Meltdown and Spectre Attacks(cl.cam.ac.uk)

    1 points by zxombie 9y ago|0 comments
22. 22.▲
    Capability Hardware Enhanced RISC Instructions: CHERI ISA(cl.cam.ac.uk)

    2 points by zxombie 9y ago|0 comments
23. 23.▲
    by zxombie 9y ago

    There is also a FreeBSD port: http://www.freshports.org/devel/libtrue/
24. 24.▲
    by zxombie 10y ago

    booting on the Dragonboard is unlikely to happen any time soon, I started working on it, but don't have the time to get it into a usable state (and lack hardware to test). Source: I started & mostly work on the the FreeBSD arm64 po
25. 25.▲
    Recovering an iPhone 5c Passcode(schneier.com)

    2 points by zxombie 10y ago|0 comments
26. 26.▲
    by zxombie 10y ago

    RISC-V seems to be lacking on the software side, e.g. where is the upstream support for Linux, GCC, or llvm? There is support in FreeBSD, but only because one of the FreeBSD committers was able to work on this full time (I've been prov
27. 27.▲
    by zxombie 11y ago

    And FreeBSD has been booting on the Raspberry Pi 3 in AArch64 for a week. https://twitter.com/zxombie/status/706526055373414400
28. 28.▲
    Teaching Operating Systems with Tracing(teachbsd.org)

    13 points by zxombie 11y ago|0 comments
29. 29.▲
    by zxombie 11y ago

    It's being worked on in part to help find issues with the spec.
30. 30.▲
    by zxombie 11y ago

    Because, on FreeBSD, armv6 is for 32-bit ARMv6 and later platforms. The userland is shared between all armv6 SoCs, however the kernel is targeted depending on the architectures it will boot on and will be built for ARMv7 when applicable.