blob: da0d5e1a969ec45c263d810f6bb7c9b7c0c28fc4 [file] [log] [blame]
Microsoft Open Sourced683ebe2023-02-03 11:49:58 +00001// Copyright Microsoft and CHERIoT Contributors.
2// SPDX-License-Identifier: MIT
3
4#include "hello.h"
5#include <fail-simulator-on-error.h>
6
7/// Thread entry point.
8void __cheri_compartment("hello") entry()
9{
10 char maliciousString[] = {'h', 'e', 'l', 'l', 'o'};
11 write(maliciousString);
12 write("Non-malicious string");
13}