#include "gdt.h"
#include <assert.h>
#include <stdlib.h>

int
main()
{
  assert(*(uint8_t *)&null_access == 0x00);
  assert(*(uint8_t *)&ktext_access == 0x9a);
  assert(*(uint8_t *)&kdata_access == 0x92);

  struct SegmentDescriptor_t d;
  SegmentDescriptor(&d, 0, 0, 0);
  assert(*(uint64_t *)&d == 0);

  assert(ktextDescriptor == 0x10);
  assert(kdataDescriptor == 0x18);

  return EXIT_SUCCESS;
}